scientific article; zbMATH DE number 6606368

MaRDI QIDQ5740438zbMATH OpenFDO

Authors Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati

Publication date 26 July 2016

zbMATH Keywords

description logicsknowledge basessituation calculus

Mathematics Subject Classification ID

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

Recommendations

• Description logic knowledge and action bases
• Actions over a constructive semantics for description logics
• Verification of description logic knowledge and action bases
• A family of dynamic description logics for representing and reasoning about actions
• A logical semantics for description logic programs
• Reasoning About Actions Using Description Logics with General TBoxes
• Action semantics reasoning about functional programs

Cited in

(8)

• Towards a functional approach to modular ontologies using institutions
• Enhancing probabilistic model checking with ontologies
• Verification of context-sensitive knowledge and action bases
• Verification of description logic knowledge and action bases
• Putting ABox updates into action
• scientific article; zbMATH DE number 1748582 (Why is no real title available?)
• Description logic knowledge and action bases
• On keys and functional dependencies as first-class citizens in description logics

Describes a project that uses

Uses Software

• GOLOG

This page was built for publication:

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