Looking at Erica's modelling Olivia, an experienced ontology engineer, recognizes several problems.

  • Erica's model is perfectly fine in pure RDF; however, if the ontology is meant to load into a reasoner it sometimes becomes a problem that the complexity of the ontology is equivalent to OWL full. (In fact Erica utilized a problem solution which is broadly discussed under the title "Representing Classes As Property Values on the Semantic Web", c.f. http://www.w3.org/TR/swbp-classes-as-values )
  • Additionally Erica in fact provides not much more than a fact box plus a trivial taxonomy of artefacts.

This is the resulting ontology: PDK_OwlDLP_slides

Document hasKeyword Keyword

ex#Document [ ex#hasKeyword *=> ex#Keyword ] .

ex#Keyword [] .

ex#Book :: ex#Document .

turtle: ex#Book rdfs:subClassOf ex#Document .

ex#Story :: ex#Document .

turtle: ex#Story rdfs:subClassOf ex#Document .

ex#Author :: ex#Person .

turtle: ex#Author rdfs:subClassOf ex#Person .

ex#Isaac_Asimov : ex#Person .

turtle: ex#Isaac_Asimov rdf:type ex#Person .

ex#Isaac_Asimov [ ex#isAuthorOf -> ex#I_Robot ] .

ex#'Tobias Findeisen' : ex#Person .

turtle: ex#'Tobias Findeisen' rdf:type ex#Person .

ex#Author [ ex#isAuthorOf *=> ex#Document ] .

ex#Document [] .

ex#Stanislav_Lem : ex#Author .

turtle: ex#Stanislav_Lem rdf:type ex#Author .

ex#Stanislav_Lem [ ex#isAuthorOf -> ex#The_Cyberiad ] .
Keyword broaderKeyword Keyword

ex#Keyword [ ex#broaderKeyword *=> ex#Keyword ] .

ex#Keyword [] .

ex#artefact : ex#Keyword .

turtle: ex#artefact rdf:type ex#Keyword .

ex#machine [ ex#broaderKeyword -> ex#artefact ] .

ex#machine : ex#Keyword .

turtle: ex#machine rdf:type ex#Keyword .

ex#vehicle [ ex#broaderKeyword -> ex#machine ] .

ex#robot [ ex#broaderKeyword -> ex#machine ] .

ex#'human robot' [ ex#broaderKeyword -> ex#robot ] .
Story

ex#The_Cyberiad : ex#Story .

turtle: ex#The_Cyberiad rdf:type ex#Story .

ex#The_Cyberiad [ ex#hasKeyword -> ex#robot ] .

ex#I_Robot : ex#Story .

turtle: ex#I_Robot rdf:type ex#Story .

ex#I_Robot [ ex#hasKeyword -> ex#'human robot' ] .

As opposed to the OWL Full model above we here have modelled the keywords as instances of the the class keyword.

  • The translation concept tree 2 skos tree can be done in OBL automativally with a rule.