manchester-syntax

Strange query behaviour in OWL!

由 懵懂的女人 提交于 2020-03-16 06:08:04
问题 In OWL this query works fine "person and hasChild min 3" it works fine and it gives me all persons who have more than 3 children but this one does not work "person and hasChild max 3" it should give me all persons who have less than 3 children however it does not work does any one have an idea about this?? why "min" works while "max" does not give any results!?? Thanks 回答1: The reason why the 2nd query "does not work" is Open World Assumption , and possibly also (the lack of) Unique Name

Strange query behaviour in OWL!

由 血红的双手。 提交于 2020-03-16 06:07:02
问题 In OWL this query works fine "person and hasChild min 3" it works fine and it gives me all persons who have more than 3 children but this one does not work "person and hasChild max 3" it should give me all persons who have less than 3 children however it does not work does any one have an idea about this?? why "min" works while "max" does not give any results!?? Thanks 回答1: The reason why the 2nd query "does not work" is Open World Assumption , and possibly also (the lack of) Unique Name

General class Axioms

由 a 夏天 提交于 2019-12-12 03:19:09
问题 OWL AXIOM expressions: Given : owl:class sport Output: in addition to the existing owl:object properties i want to add the owl:object property player with the value Peter to every instance from type owl:class sport. That means that every individual from type owl:class sport should have this object property inherited with the value Peter. My first thought was to express it with a general class axiom. Here i am not really sure whether this a) possible and b) better to do it with a SPARQL update

Meaning of OWL exact cardinality restrictions

由 巧了我就是萌 提交于 2019-12-09 23:57:32
问题 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

Protege-OWL: Class must have one of each <value>

由 点点圈 提交于 2019-12-08 20:12:10
问题 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

Meaning of OWL exact cardinality restrictions

由 旧街凉风 提交于 2019-12-04 20:28:06
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? The meaning of class expressions is defined in section 2.2.3 Class Expressions of the OWL 2 Web Ontology Language Direct Semantics W3C recommendation. The four class expressions

Strange query behaviour in OWL!

由 时光毁灭记忆、已成空白 提交于 2019-12-01 21:41:16
In OWL this query works fine "person and hasChild min 3" it works fine and it gives me all persons who have more than 3 children but this one does not work "person and hasChild max 3" it should give me all persons who have less than 3 children however it does not work does any one have an idea about this?? why "min" works while "max" does not give any results!?? Thanks The reason why the 2nd query "does not work" is Open World Assumption , and possibly also (the lack of) Unique Name Assumption . Say you state: John lives in Paris. Mary lives in Paris. The following questions are answered in
订阅 manchester-syntax