FO(ID) as an extension of DL with rules

zbMATH Open1226.68023MaRDI QIDQ3100243FDOQ3100243

Authors: Joost Vennekens, Marc Denecker 

Publication date: 23 November 2011

Full work available at URL: https://www.mat.unical.it/ASPOCP08/

Recommendations

• FO(ID) as an extension of DL with rules
• Reconciling OWL and non-monotonic rules for the semantic web
• Description Logic extension based on extenics theory
• Description Logics
• Reasoning in Description Logics: Basics, Extensions, and Relatives

zbMATH Keywords

description logic (DL)FO(ID)\(\mathcal{ALCI}\)(ID)

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic programming (68N17)

Cited In (1)

• FO(ID) as an extension of DL with rules

This page was built for publication: FO(ID) as an extension of DL with rules

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