protege

问题 How to express: Barack doesn’t like anything that Donald likes. in Protege? My attempt: I have Barack and Donald as individuals and like as a property , however, when clicking on Barack , the best I can get is: Barack like Donald which is not good. Any ideas? The answer appears to not be working. 回答1: In the individuals tab, where you can assert the type (not object property assertion) of an individual, you write (for Barack): likes only (not (inverse likes value Donald)) or likes only (not

问题 I have created an ontology based on: Every person is beautiful if one of his/her parents is beautiful Aphrodite is a parent of Eros Aphrodite is beautiful thus we would expect Eros to be beautiful too! However, the Pellet reasoner doesn't seem to infer that. If I manually put the type of Eros to successful, it will accept it, but shouldn't it infer it? My ontology lies here (change the extension to .owl). I am also providing screenshots from Protege: Class hierarchy: Eros: Inferred class

问题 I am building an Ontology. I have a Class called Vehicle I have an Object Property called hasType I have a Class called VehicleTypes How can I force all the instances from Vehicle class to have one and just one instance of VehicleTypes What I have tried I am working on Protege. I made the hasType as a functional property. I added an Equivalent To which is like this: hasType exactly 1 VehicleTypes Is that enough please? 回答1: Making hasType functional is the right move since every Vehicle can

问题 I am a newbie coding with the Manchester syntax for OWL. I need to understand the role of exactly . Which of these restrictions is correct: (hasChild (A or B)) and (hasChild exactly 1 Thing) (hasChild (A or B)) and (hasChild exactly 2 Thing) (hasChild (A and B)) and (hasChild exactly 1 Thing) (hasChild (A and B)) and (hasChild exactly 2 Thing) Can you explain it when A and B are equivalent, and when they are disjoint? 回答1: The meaning of class expressions is defined in section 2.2.3 Class

问题 I used protege to create two ontology and I save as A.owl, B.owl. I know that the protege-4.0 can merge many ontology. I want to use protege-owl API to merge ontology A.owl and B.owl to C.owl; But I don't know how to do it. Could you help me. Thank you very much. 回答1: First load both A and B. Then go to "Refactor > Merge Ontologies" from the menu. 回答2: Assume that you have opened A.owl in Protege. Go to the "Active Ontology" tab. Click on the plus sign beside the Direct Imports text. Click on

问题 I have been stuck for two days now trying to understand why the following scenario isn't working: screenshots here: http://dl.dropbox.com/u/4677548/screenshots.html I have a VegetarianFood class (subclass of Food) that is equivalent to "Food and (Eggs or MilkAndDerivates or VeganFood)" as you can see in the screenshot number 1 The VeganFood class, on turn, is equivalent to other classes (NutsAndSeeds, Cereals, Fruit, etc...) screenshot 2 as you can see there are two individuals (cheddar

问题 The protege SWRL tab is not available in Protege 4 versions, I have tried both protege 4.1 and protege 4.2. The axiome plugin mentioned to edit the SWRL rules in protege has been said to work only in protege 3 versions. Can anyone tell me plugins or procedure to include the plugin to edit SWRL rules in protege? 回答1: SWRL rules can be edited in Protégé 4, but not with a nice interface like in Protégé 3. If you go to menu Window -> Views -> Ontology views, there is an option Rules. Select it

问题 I'm new to protege and i have to model a grid with similar properties to soduku, in Manchester OWL syntax. I have been searching but i can't seem to find a way to make an axiom that says "each column must have 4 cells, and must have each one of these values ". As in, assuming a 4x1 column, each cell must contain one number and the column must have all the numbers [1:4]. I have already set up some Objects , data properties and Object properties which i will leave here. I will leave the full

问题 I have a question in my project. I do not know whether I need to work netbeans or not. My work is about library book of recommendation systems . that as input I need book Classification ontology . in my ontology classify library books. this classification has 14 categories, beside the sibling classes Author, book, Isbn. Individuals in book class are book’s subject(about 600 subjects) , and individuals in author class are name’s author and also isbn class. also I collected and Have got in part

问题 I have defined an ontology with the following classes, properties, and individuals with object property assertions: Class: Employee > Individuals: { EmployeeA } Class: Skill > Individuals: { Skill1, Skill2, Skill3 } Class: Job > Individuals: { DBA } hasSkill > Domain (Employee) and Range (Skill) isAskillBy > Domain (Skill) and Range (Employee) <inverse of hasSkill> requireSkill > Domain (Job) and Range (Skill) isAskillrequiredBy > Domain (Skill) and Range (Job) <inverse of requireSkill>