protege

问题 Is it possible in protege (Thus in owl) to describe a class depending if it has some properties? For example I have a class Home , and I want to say that every instance that has property1 and property2 and property2 is considered an instance of that class? 回答1: Suppose you have a class Duck and you want to say that if something walks like a Duck, and talks like a Duck, then it is a Duck. You can do that with a class axiom: ((walksLike some Duck) and (talksLike some Duck)) SubClassOf Duck A

问题 I'm looking for a clear approach to use SWRL clearly in virtuoso server. For example, I designed an ontology using Protege 4.3 and I wrote the SWRL rules using Rules tab in Protege. Product(?P),hasName(?P,?N),inGroupB(?P,?B)->hasBug(?P) I uploaded my RDF data (~3GB) into Virtuoso server, along with the Ontology schema. I tried to recall the data that is supposed to be inferred based on the Rules in the ontology but the query return empty results. Example of the SPARQL query that it should

问题 Given two classes Container and Element , I would like to define a property contains to describe the contents of a Container . However, the order of Elements is important, so I can't simply write _:container :contains _:element1, _:element2, _:element3 . How can I define the contains property correctly? I've looked at rdf:List and owl:Seq but I don't know how to translate that into my ontology. 回答1: You can define your property in many ways depending on what your requirements and your use

问题 I am trying to write a query Hospitals and hasNameWithWords value "center"^^string This query returns me the instances that has the hospitals that has "center" in its name in Protege 4.2 with FACT++ reasoner as well as Hermit reasoner but when i input the same query in the OWL-API's DL Query Example thats available in the website http://sourceforge.net/p/owlapi/code/ci/aef6981535f07a2d0d44c394b9f4d5415f36025a/tree/contract/src/test/java/org/coode/owlapi/examples/DLQueryExample.java I don't

问题 I have almost the same requirement expresed in this question: Get all nodes in a transitive relation I am using Protege 3.4.8. This is an Owl-Lite project. I have a transitive property "contains", which is defined as an object property of type Node Node has descendants of type A, B and C I have individuals that link to each other through contains property like this: A contains B contains C When I run the following SPARQL query: SELECT ?A ?B WHERE { ?A :contains ?B } I get : A1 B1 B1 C1 Due to

问题 I'm learning OWL 2.0 using Protégé 4.0 and Pellet 2.2, and I'm trying to understand underlying concepts progressively. So, starting with class hierarchies, I made one class "Cat" as a SubClassOf "Things". If I start Pellet, everything works fine, but if I DL query "Cat", I have Directsubclasses "Nothing" and Subclasses "Nothing" appearing in red. What does it mean? Why is it red? Justifications are like : Explanation for: Nothing SubClassOf Cat <Entailment1252345325436>SubClassOf Nothing and

问题 As it currently stands, this question is not a good fit for our Q&A format. We expect answers to be supported by facts, references, or expertise, but this question will likely solicit debate, arguments, polling, or extended discussion. If you feel that this question can be improved and possibly reopened, visit the help center for guidance. Closed 7 years ago . I am looking to visualize ontologies for understanding and making others understand. I would prefer to have top-down hierarchy of

问题 I'm trying to add a SWRL rule to protege using conjuction sign ^ but Protege 4.3 does not approve that sign. This issue is also present for swrl buildins such as swrlb:lessThanOrEqual . What's wrong with ^ ? May I use , instead? 回答1: The terms in the Protege SWRL editor are separated by commas, not ^. See, for instance, the screenshots in my answer to SWRL rules in protege 3.4.8. whats wrong with ^ ? may i use , instead ? That the answer, yes. I'm not sure what prevented you from trying it in

问题 I have two classes Person and Vehicle having owns as relation between them. There is 1 to many relation between them like one person can own many vehicles. Person has attribute 'name' (person name) and vehicle also has attribute 'name' (brand name). Question is how to model this in OWL using protege editor? If there is an attribute on ' owns ' relation saying ' DateOfPurchase ' how to represents this in OWL ? 回答1: Object properties in OWL describe relation between individuals, not between

问题 I have the ontology used in the OWL API examples. private static final String KOALA = "<?xml version=\"1.0\"?>\n" + "<rdf:RDF xmlns:rdf=\"http://www.w3.org/1999/02/22-rdf-syntax-ns#\" xmlns:rdfs=\"http://www.w3.org/2000/01/rdf-schema#\" xmlns:owl=\"http://www.w3.org/2002/07/owl#\" xmlns=\"http://protege.stanford.edu/plugins/owl/owl-library/koala.owl#\" xml:base=\"http://protege.stanford.edu/plugins/owl/owl-library/koala.owl\">\n" + " <owl:Ontology rdf:about=\"\"/>\n" + " <owl:Class rdf:ID=\