Facts

• Class expressions, and Class and Property Axioms are encoded in triples

  • <rdf:Description rdf:ID=“HedgeHog”>
  • <rdfs:subClassOf rdf:resource=“#Pet”/>
  • </rdf:Description>
  • <owl:Class rdf:ID=“#Pet”/>

• The rest of the triples are facts

  • The syntax triples are (in OWL Full) facts too!

Notes: