spec onto =

Prefix: ns0: <http://cohse.semanticweb.org/ontologies/people#>

Prefix: owl11xml: <http://www.w3.org/2006/12/owl11-xml#>

Prefix: xml: <http://www.w3.org/XML/1998/namespace>

Prefix: rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>

Prefix: owl11: <http://www.w3.org/2006/12/owl11#>

Prefix: xsd: <http://www.w3.org/2001/XMLSchema#>

Prefix: owl: <http://www.w3.org/2002/07/owl#>

Prefix: ex: <http://www.example.org#>

Prefix: : <http://example.org/>

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

Prefix: rdfs: <http://www.w3.org/2000/01/rdf-schema#>

Prefix: food: <http://www.w3.org/2002/03owlt/miscellaneous/consistent002#>

Prefix: vin: <http://www.w3.org/2002/03owlt/miscellaneous/consistent001#>

Datatype: owl:real2

Datatype: xsd:float

Datatype: xsd:integer

DataProperty: dp

Class: A

SubClassOf:

dp only owl:real2

Individual: a

Types:

A

with Class A |-> B, Datatype owl:real2 |-> owl:realnumber, DataProperty dp |-> bp