owl

问题 I am trying to map relational database to OWL Here are my 2 tables student(student_id,student_name,course_id) course(course_ID,course_name) +----+--------+-----------+ | id | name | course_id | +----+--------+-----------+ | 1 | Adam | 5 | | 2 | Michael| 2 | +----+--------+-----------+ +-----------+-------------+ | course_id | course_name | +-----------+-------------+ | 2 | DM | | 5 | WEBIR | +-----------+-------------+ Now course_id is the foreign key in student table referencing course_id in

问题 Usually when we say "all of my children are female" we intend to imply "and there's at least one of them". The famed pizza tutorial (V1.3) addresses this on page 100 saying that it's usually an error to have a universal restriction (owl:allValuesFrom) without an existential restriction (owl:someValuesFrom). owl:someValuesFrom is sort of a back-handed way of saying "and there's at least one". Is there any logical, performance or aesthetic reason not to instead use "owl:minCardinality"? 回答1:

问题 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

问题 This the code I am using to load OntModel to a Dataset as a Named Model. Then I try to retrieve the PrefixMapping for the same in two different ways: public static void loadDatasetwithNamedModels(){ OntModel namedModel = null; Dataset dataset = null; dataset = TDBFactory.createDataset("./path/to/TDB_DIR"); namedModel = ModelFactory.createOntologyModel(OntModelSpec.OWL_MEM); dataset.begin(ReadWrite.WRITE); try{ namedModel = ModelFactory.createOntologyModel(OntModelSpec.OWL_MEM); FileManager

问题 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

问题 How can I specify the range of a datatype property to be xsd:strings whose literal forms match [A-Z]? OWL restrictions don't do the trick for me, at least at first glance. Is there a way to do this with regular expressions and if so, where? 回答1: I suppose you mean "single capital letter" which is string[pattern "[A-Z]"] . If you are using Protege, enter this into the "Data range expression" tab. HermiT 1.3.7 can check this and provide explanations about inconsistent property values. 回答2:

问题 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