Current Slide

Small screen detected. You are viewing the mobile version of SlideWiki. If you wish to edit slides you will need to use a larger device.


  • WSML allows inheritance of attribute definitions, which means that a concept inherits all attribute definitions of its superconcepts

    concept Human subConceptOf {Primate, LegalAgent}

    dc#description hasValue "concept of a human being" 
    dc#relation hasValue humanDefinition 
    hasName ofType foaf#name 
    hasRelative impliesType Human 
    hasAncestor impliesType Human 
    hasParent impliesType Human 
    hasChild impliesType Human 
    hasWeightInKG ofType xsd#float 
    hasBirthdate ofType xsd#date 
    dateOfDeath ofType xsd#date 
    hasBirthplace ofType loc#location 
    isMarriedTo impliesType Human 
    hasCitizenship ofType oo#country

  • Axioms can be used to define concepts, e.g.  

    axiom humanDefinition 
    ?x memberOf Human equivalent ?x memberOf Primate and ?x memberOf LegalAgent. 

Speaker notes:

Content Tools


There are currently no sources for this slide.