protege

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 It is not possible to declare an individual from that range, because datatype ranges are composed of literals, not individuals. If you want

I have a class Person, and a set of data properties: First_Name, Surname, Gender, DoB, Country_of_Birth. The data properties have their Domains set to Person. What i would like to set up in my ontology is a rule which states that every Person must have exactly 1 of each of these properties. So in Protege, I set up Person as a subclass of "First_Name exactly 1 xsd:string", "Surname exactly 1 xsd:string" and so on. I then set up an Individual with a Surname, but no First_Name, Gender etc. I then run the reasoner. What I would expect is for it to throw a fit about inconsistency (Surname is being

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 including FourCheesesTopping, CheeseyVegetableTopping, etc. from that query(by inference). Bud it didn't. Is

I would like to better understand ontologies and reasoning. There is an interesting puzzle called Einstein's riddle on the net that can be solved with the help of ontologies and reasoning. I downloaded the OWL ontology from that site and imported it into Protege 4.0.2 (does not work with 4.1). I can start a reasoner by Reasoner → FaCT++ , Reasoner → Classify… , but i don't know, how to visualize the individual results. How can I do this? There are two ways in which you can visualise the results. Firstly, when you select the "Classes" Tab, you will see that there are two views available to you:

I have an owl file I built in Protege. What is the sparql query which will select all the subclasses of a class and all the subclasses of those subclasses, so on and so on (Breadth First Search Sort of Manner)? Joshua Taylor This might be answered by Sparql query Subclass or EquivalentTo , but that question and its answer contain a lot more information that what you're asking for here. You can't really enforce the search strategy (depth first vs. depth first), but you can (sort of) order subclasses by their distance from the root, if there's a unique path from the root to the subclass. First,

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 complete owl file is affixed:- <?xml version="1.0"?> <!DOCTYPE Ontology [ <!ENTITY xsd "http://www.w3