Realizing Default Logic over Description Logic Knowledge Bases

DOI10.1007/978-3-642-02906-6_52MaRDI QIDQ3638182zbMATH OpenOpenAlexWikidataFDO

Authors Minh Dao-Tran, Thomas Eiter, Thomas Krennwallner

Publication date 2 July 2009

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-02906-6_52

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 516983
• A correct logic programming computation of default logic extensions
• Tableau-based characterization and theorem proving for default logic
• scientific article; zbMATH DE number 1748572
• From description-logic programs to multi-context systems

Cites work

• A logic for default reasoning
• An epistemic operator for description logics
• Combining answer set programming with description logics for the semantic web
• Description logics of minimal knowledge and negation as failure
• Exploiting conjunctive queries in description logic programs
• scientific article; zbMATH DE number 1936671 (Why is no real title available?)
• scientific article; zbMATH DE number 1765711 (Why is no real title available?)
• scientific article; zbMATH DE number 1405450 (Why is no real title available?)

Cited in

(6)

• New tractable classes for default reasoning from conditional knowledge bases
• A model building framework for answer set programming with external computations
• \textsf{dl2asp}: implementing default logic via answer set programming
• From description-logic programs to multi-context systems
• Reasoning About Prescription and Description Using Prioritized Default Rules
• \textbf{DefTab}: a tableaux system for sceptical consequence in default modal logics

Describes a project that uses

Uses Software

• Racer

This page was built for publication: Realizing Default Logic over Description Logic Knowledge Bases

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