First Order Logic

First Order Logic (FOL)


Inference

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

Sources

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

Machine Learning Bookcamp: Learn machine learning by doing projects. Get 40% off with code "grigorevpc".

Share your opinion