Changes between Version 5 and Version 6 of OWL
- Timestamp:
- 2010/02/09 12:32:20 (15 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
OWL
v5 v6 18 18 19 19 e.g. 20 jenny a :woman 21 jenny :hasMother mum ;22 mum a :mother ;20 jenny a :woman . [[BR]] 21 jenny :hasMother mum . [[BR]] 22 mum a :mother . [[BR]] 23 23 24 24 In a classical system without reasoning when asking the question select ?s where {?p rdf:Type :woman}; will only answer jenny. 25 25 26 26 After adding the following OWL axiom. 27 :mother owl:subClassOf :woman 27 :mother owl:subClassOf :woman .[[BR]] 28 28 29 29 The answer would become 30 30 jenny and mum. 31 As the axiom leads to the inference that mum is a :Woman. So the new triple 32 mum a :woman 31 As the axiom leads to the inference that mum is a :Woman. So the new triple [[BR]] 32 mum a :woman .[[BR]] 33 33 34 34 == Constraint Validation == 35 35 36 Lets add a simple constraint too the Ontology. Being rather conservative. 37 :man owl:disjointWith :woman 36 Lets add a simple constraint too the Ontology. Being rather conservative.[[BR]] 37 :man owl:disjointWith :woman . [[BR]] 38 38 39 That means if we had made a mistake filling our triple store and we had added a. 40 mum a :man 39 That means if we had made a mistake filling our triple store and we had added a. [[BR]] 40 mum a :man . [[BR]] 41 41 our OWL logic would raise a contradiction. 42 42
