Changes between Version 5 and Version 6 of OWL

Show
Ignore:
Timestamp:
2010/02/09 12:32:20 (14 years ago)
Author:
jerven
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • OWL

    v5 v6  
    1818 
    1919e.g. 
    20 jenny a :woman 
    21 jenny :hasMother mum; 
    22 mum a :mother; 
     20jenny a :woman . [[BR]] 
     21jenny :hasMother mum . [[BR]] 
     22mum a :mother . [[BR]] 
    2323 
    2424In a classical system without reasoning when asking the question select ?s where {?p rdf:Type :woman}; will only answer jenny. 
    2525  
    2626After adding the following OWL axiom. 
    27 :mother owl:subClassOf :woman 
     27:mother owl:subClassOf :woman .[[BR]] 
    2828 
    2929The answer would become 
    3030jenny and mum.  
    31 As the axiom leads to the inference that mum is a :Woman.  So the new triple  
    32 mum a :woman 
     31As the axiom leads to the inference that mum is a :Woman.  So the new triple [[BR]] 
     32mum a :woman .[[BR]] 
    3333 
    3434== Constraint Validation == 
    3535 
    36 Lets add a simple constraint too the Ontology. Being rather conservative. 
    37 :man owl:disjointWith :woman 
     36Lets add a simple constraint too the Ontology. Being rather conservative.[[BR]] 
     37:man owl:disjointWith :woman . [[BR]] 
    3838 
    39 That means if we had made a mistake filling our triple store and we had added a. 
    40 mum a :man 
     39That means if we had made a mistake filling our triple store and we had added a. [[BR]] 
     40mum a :man . [[BR]] 
    4141our OWL logic would raise a contradiction. 
    4242