Local closed world reasoning with description logics under the well-founded semantics

DOI10.1016/j.artint.2011.01.007zbMath1225.68249OpenAlexW2116746190WikidataQ62046447 ScholiaQ62046447MaRDI QIDQ646502

Matthias Knorr, Pascal Hitzler, José Júlio Alferes

Publication date: 17 November 2011

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://corescholar.libraries.wright.edu/cgi/viewcontent.cgi?article=1116&context=cse

zbMATH Keywords

knowledge representationnon-monotonic reasoninglogic programmingsemantic webdescription logics and ontologies

Mathematics Subject Classification ID

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

Related Items (15)

Data repair of inconsistent nonmonotonic description logic programs ⋮ Three-valued semantics for hybrid MKNF knowledge bases revisited ⋮ Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT ⋮ Well-founded operators for normal hybrid MKNF knowledge bases ⋮ On updates of hybrid knowledge bases composed of ontologies and rules ⋮ On combining ontologies and rules ⋮ Towards provenance in heterogeneous knowledge bases ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A polynomial time subsumption algorithm for nominal safe \(\mathcal{ELO}_\bot\) under rational closure ⋮ A goal-directed implementation of query answering for hybrid MKNF knowledge bases ⋮ Flexible Approximators for Approximating Fixpoint Theory ⋮ Tractable reasoning using logic programs with intensional concepts ⋮ Normative Systems Represented as Hybrid Knowledge Bases ⋮ Forgetting in ASP: The Forgotten Properties

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Open answer set programming for the semantic web
• Combining Horn rules and description logics in CARIN
• Combining answer set programming with description logics for the semantic web
• A lattice-theoretical fixpoint theorem and its applications
• Handbook on Ontologies
• Reconciling description logics and rules
• What should a database know?
• The well-founded semantics for general logic programs
• Tabled evaluation with delaying for general logic programs
• Abductive logic programs with penalization: semantics, complexity and implementation
• Efficient Inferencing for OWL EL
• The Description Logic Handbook
• Description logics of minimal knowledge and negation as failure

This page was built for publication: Local closed world reasoning with description logics under the well-founded semantics