First Order Logic

First Order Logic (FOL)


In FOL, inference is generally undecidable

  • FOL give formal definitions of RDFS and OWL statements
    • Classes - unary predicates
    • Properties - binary predicates
  • DL is a subset of FOL where many interesting properties are decidable

See Also


  • Web Data Management, Manolescu, Ioana, et al. [1]