Description logics vs. first order logic as KBMS interaction languages

MaRDI QIDQ5740437zbMATH OpenFDO

Authors Alexander Borgida

Publication date 26 July 2016

zbMATH Keywords

description logicsfirst-order predicate calculusinformation management

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• On the relative expressiveness of description logics and predicate logics
• An introduction to description logic
• Description Logics
• Description logics for ontologies
• Automated Reasoning with Analytic Tableaux and Related Methods

Cited in

(3)

• The F-logic approach for description languages
• Languages of logic and their applications
• Multi-criterion search from the semantic point of view (comparing TIL and description logic)

This page was built for publication: Description logics vs. first order logic as KBMS interaction languages

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5740437)