dlquery

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

Reasoning OWL ontology using inverse property?

对着背影说爱祢 提交于 2020-01-11 02:27:00
问题 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

Why is this DL-Query not returning any individuals?

一世执手 提交于 2019-12-30 09:51:12
问题 This DL-Query is not returning any individuals: Query (Protégé syntax) : hasPet exactly 1 DomesticAnimal Here's part of the ontology: :hasPet a owl:ObjectProperty; rdfs:domain :Human; rdfs:range :DomesticAnimal; owl:inverseOf : petOf; :Joe a :Human; hasPet :Lassy. :Bob a :Human; hasPet :Sparkey, Lucky. Queries: petOf value Bob returns Sparkey and Lucky petOf value Joe returns Lassy hasPet exactly 1 returns nothing. Why isn't the last query returning Joe ? I have tried it with in Protégé with

no inferences with DL queries in OWL - API

浪子不回头ぞ 提交于 2019-12-13 02:57:34
问题 I am trying to write a query Hospitals and hasNameWithWords value "center"^^string This query returns me the instances that has the hospitals that has "center" in its name in Protege 4.2 with FACT++ reasoner as well as Hermit reasoner but when i input the same query in the OWL-API's DL Query Example thats available in the website http://sourceforge.net/p/owlapi/code/ci/aef6981535f07a2d0d44c394b9f4d5415f36025a/tree/contract/src/test/java/org/coode/owlapi/examples/DLQueryExample.java I don't

DL; returning classes with max 1 and not exactly 0

风格不统一 提交于 2019-12-12 06:16:30
问题 Let's have an OWL-DL ontology considering only the TBox (no individuals) and Let's consider Chinesefamily hasChilren max 1 SterileChinesefamily subClassOf Chinesefamily SterileChinesefamily hasChilren exactly 0 The expression hasChilren max 1 will return Chinesefamily and SterileChinesefamily as sub classes Well, how to specify classes that may have 0 or 1 children ( Chinesefamily ) but must not have exactly 0 children ( SterileChinesefamily ) I tried hasChilren max 1 and not hasChilren

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

Reasoning OWL ontology using inverse property?

隐身守侯 提交于 2019-11-30 20:04:55
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