protege

问题 I have an ontology, created using Protegé 4.3.0, and I would use the OWL-API in order to get the object property values (ie. a set of OWLNamedIndividual objects) for the specified individual and object property expression. Set<OWLNamedIndividual> values = reasoner.getObjectPropertyValues(individual, hasPart).getFlattened(); Unfortunately the above instruction return no items, since in my ontology the association between individuals is via some sub object properties of hasPart object property.

问题 I have an ontology, created using Protegé 4.3.0, and I would use the OWL-API in order to get the object property values (ie. a set of OWLNamedIndividual objects) for the specified individual and object property expression. Set<OWLNamedIndividual> values = reasoner.getObjectPropertyValues(individual, hasPart).getFlattened(); Unfortunately the above instruction return no items, since in my ontology the association between individuals is via some sub object properties of hasPart object property.

问题 I am working on my ontology using owlapi and java, but I cant find a solution in such a case: Here I have a class structure such as: Electronics Radio Handy I created individuals to these classes having the same name as their class. As Electronics class has an individual named electronics. Class: Electronics Equivalent to: keyword some {"electronics"} . Class: Handy Dataproperty: keyword Data property value: "handy" , type:string I use Hermit to search for individuals as keyword some {

问题 I want to make inferences such as the property represented by the grey-dotted line in this diagram: I have asserted a general axiom: (hasTaste some Bitter) SubClassOf: goesWellWith some (hasTaste some Sweet) where 'bitter' is of type Bitter and 'sweet' is of type Sweet. I thought owl:someValuesFrom (or Manchester's "some") meant that at least one such relation must exist. Yet this does not happen after making the bold diagram assertions and the general axiom. How can I make this work? EDIT

问题 I want to make inferences such as the property represented by the grey-dotted line in this diagram: I have asserted a general axiom: (hasTaste some Bitter) SubClassOf: goesWellWith some (hasTaste some Sweet) where 'bitter' is of type Bitter and 'sweet' is of type Sweet. I thought owl:someValuesFrom (or Manchester's "some") meant that at least one such relation must exist. Yet this does not happen after making the bold diagram assertions and the general axiom. How can I make this work? EDIT

问题 I have created the ontology file in the Protege and save it in the RDF/XML format. It also contains the OWL tag. So, the ontology file created by Protege and saved as RDF/XML format are actually the RDF files or the RDF form of the OWL files or the OWL format containing the RDF also or something else ? <?xml version="1.0"?> <!DOCTYPE rdf:RDF [ <!ENTITY owl "http://www.w3.org/2002/07/owl#" > <!ENTITY xsd "http://www.w3.org/2001/XMLSchema#" > <!ENTITY rdfs "http://www.w3.org/2000/01/rdf-schema#

问题 I am using protege 5 for developing ontology. I have created has_composition as object property. In my ontology the same object_property is used for different domains and their respective range, like has_composition of A is B and has_composition of C and D is E and F. How can I model this mapping?? 回答1: OWL (Ontology Web Language, the ontology that defines ontologies) does not allow to model what you're trying to do. A workaround I can think of is to use sub-properties. Imagine the following

问题 At first I want to mention that I am new in ontology and protege. I try to develop an ontology using protege 5.0. I defined some data properties with enumerated range which I defined in data range expression like this: {"Balanced" , "Clever" , "Energetic" , "Lazy" , "Talkative"}. Now I want to define an individual and want to choose a value from the range I defined above as filler for a datatype property. How can I do this? thanks for your help in advance 回答1: It is not possible to declare an

问题 I'm using Protege v4.3 for making ontologies. I have a question about OWL ontology and DL query. For instance, in the Pizza ontology, http://owl.cs.manchester.ac.uk/co-ode-files/ontologies/pizza.owl I can execute the DL query hasTopping some CheeseTopping The result is American, AmericanHot, Cajun,.. etc. That's OK. Now, i tried DL query isToppingOf some American But the result is nothing. Because the property isToppingOf is inverse property of hasTopping, I expected to get the result

问题 I am using OWL Api 4.0 in eclipse 3.4 with a simple ontology in Protege 4. I have two classes "Ward" and "Gaurdian". Individuals of these classes are related by object property isWardOf. How can i retrieve the individuals of class Ward that are related to same individual of Class Gaurdian. consider the following figure:- I want to retrieve the Fact that Peter and Allice are related or siblings as they both are connected to Jack. Any rough clue as to how to achieve this using OWL API 4.0. My