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
- Web Data Management, Manolescu, Ioana, et al.