Traditional Semantics

• Classes are 1-place predicates

  • Person == Person(x)
  • bob rdf:type Person == Person(bob)

• Properties are 2-place predicates

• Axioms (typically) are conditionals

  • C subClassOf D == if C then D

• Syntactic distinctions between categories

  • ObjectProperty disjointWith DatatypeProperty
  • Class disjointWith Thing (and ObjectProperty, etc.)
  • Syntax triples disappear when converting to abstract syntax
  • Hard to enforce in RDF graphs!

• Then inherit the semantic of FOL

Notes: