ML Wiki

First Order Logic

First Order Logic (FOL)

• Logic is the foundation of Knowledge Representation
• inferences expressed in logical statements are basis for Knowledge Discovery
• languages like OWL - can be viewed as a specialization of FOL

Inference

In FOL, inference is generally undecidable

• there is a subset of FOL, called Descriptive Logic, where it becomes tractable

• 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

• Conjunctive Query
• Descriptive Logic

Sources

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