Re: Entailment checking with pizza ontology

Mikael Pesonen <[email protected]>
Newsgroups gmane.org.w3c.semantic-web
Message-ID <[email protected]> 
There was couple of errors, Ontology needs to be the same and it seems 
all properties and classes need to be introduced?

Atleast this works:

Prefix: : <http://www.co-ode.org/ontologies/pizza/pizza.owl#>
Ontology: <http://www.co-ode.org/ontologies/pizza/pizza.owl>

ObjectProperty: hasTopping
Class: MozzarellaTopping
Class: Margherita
     SubClassOf:
         hasTopping some MozzarellaTopping
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.