Realizing Default Logic over Description Logic Knowledge Bases

DOI10.1007/978-3-642-02906-6_52zbMath1245.68183OpenAlexW1502733280WikidataQ57549130 ScholiaQ57549130MaRDI QIDQ3638182

Thomas Krennwallner, Thomas Eiter, Minh Dao-Tran

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)

Related Items (1)

A model building framework for answer set programming with external computations

Uses Software

• Racer

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Exploiting conjunctive queries in description logic programs
• An epistemic operator for description logics
• A logic for default reasoning
• Combining answer set programming with description logics for the semantic web
• Description logics of minimal knowledge and negation as failure

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