Changes between Version 4 and Version 5 of OWL

Show
Ignore:
Timestamp:
2010/02/09 12:30:42 (8 years ago)
Author:
jerven
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • OWL

    v4 v5  
    77 
    88= OWL use cases = 
     9== Modeling == 
     10Ontologies are created to fix terms in their meaning. So that confusion about their definition is avoided. 
     11Many ontologies are written in the OBO format an easily human readable text format. For example GO is defined in OBO. 
     12OWL is a more formal definition of an Ontology. This gives it a lot of powerful features that one can use. While also incurring  
     13a steep learning curve. 
     14 
    915== Reasoning == 
    1016 
    11 == Inferring Logic == 
     17OWL allows reasoning over statement using description logic. That means that one does not need to encode all implied information in your system to be able to get conclusive data. 
     18 
     19e.g. 
     20jenny a :woman 
     21jenny :hasMother mum; 
     22mum a :mother; 
     23 
     24In a classical system without reasoning when asking the question select ?s where {?p rdf:Type :woman}; will only answer jenny. 
     25  
     26After adding the following OWL axiom. 
     27:mother owl:subClassOf :woman 
     28 
     29The answer would become 
     30jenny and mum.  
     31As the axiom leads to the inference that mum is a :Woman.  So the new triple  
     32mum a :woman 
    1233 
    1334== Constraint Validation == 
     35 
     36Lets add a simple constraint too the Ontology. Being rather conservative. 
     37:man owl:disjointWith :woman 
     38 
     39That means if we had made a mistake filling our triple store and we had added a. 
     40mum a :man 
     41our OWL logic would raise a contradiction. 
     42 
     43A product meant for this is 
    1444[http://clarkparsia.com/pellet/icv]