CODEWITHSUNDEEP
rdfsemantic-webowlontologydescription-logic
Bikash Gyawali
Bikash Gyawali

Reputation: 1048

Instantiated triples statements from ontology axioms

Lets assume a very simple axiom in an ontology that says that All cheesypizza are pizzas that have topping of cheese. In OWL representation, the cheeseypizza would be represented as a subclass of restriction on the has-topping property. However, I would like to extract in the following triples dataset format :

  1. CheesyPizza1 sub-class Pizza1
  2. Pizza1 has-topping CheeseTopping1

assuming that Pizza1 is a dynamic instantiation (not the true individual of the Pizza class in the ontology but just a random variable while writing in the triples format) of Pizza class and similarly, CheesyPizza1 is a dynamic instantiation of CheesyPizza class and CheeseTopping1 is a dynamic instantiation of CheeseTopping class.

How can I get the above representation?

Upvotes: 1

Views: 187

Answers (1)

mikrohelen
mikrohelen

Reputation: 249

Your example needs clarification as your axioms seem invalid. Anyway, if in your example, CheesyPizza1, Pizza1 and CheeseTopping1 are classes and then you want to say that CheesyPizza1 is sublcass of Pizza1 and that CheesyPizza1 has an OWL Restriction hasTopping some CheeseTopping1, then the triples should be:

:Pizza1 rdf:type owl:Class .

:CheeseTopping1 rdf:type owl:Class .

:CheesyPizza1 rdf:type owl:Class ;
   rdfs:subClassOf :Pizza1,
        [ a owl:Restriction ;
          owl:onProperty :hasTopping ;
          owl:someValuesFrom :CheeseTopping1 
        ] .

I would suggest to look at Guus Schreiber's OWL restrictions, for checking how OWL restriction are expressed as triples.

Upvotes: 3

Related Questions