Combining answer set programming with description logics for the semantic web

DOI10.1016/J.ARTINT.2008.04.002zbMATH Open1183.68595OpenAlexW2100983017MaRDI QIDQ2389666FDOQ2389666

Authors: Thomas Eiter, Giovambattista Ianni, Thomas Lukasiewicz, Roman Schindlauer, Hans Tompits 

Publication date: 17 July 2009

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

Full work available at URL: https://doi.org/10.1016/j.artint.2008.04.002

Recommendations

• Well-founded semantics for description logic programs in the semantic web
• A logical semantics for description logic programs
• The loop formula based semantics of description logic programs
• Exploiting conjunctive queries in description logic programs
• Fuzzy description logic programs under the answer set semantics for the semantic web

zbMATH Keywords

computational complexityrulesanswer set programmingdescription logicsontologiessemantic webdefault logicclosed-world reasoning

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic programming (68N17) Logic in artificial intelligence (68T27) Internet topics (68M11)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the computational cost of disjunctive logic programming: Propositional case
• Title not available (Why is that?)
• The well-founded semantics for general logic programs
• Knowledge Representation, Reasoning and Declarative Problem Solving
• The DLV system for knowledge representation and reasoning
• Title not available (Why is that?)
• Title not available (Why is that?)
• A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes
• Title not available (Why is that?)
• Title not available (Why is that?)
• The classical decision problem.
• Computing functions with parallel queries to NP
• A logic for default reasoning
• Complexity of the two-variable fragment with counting quantifiers
• Title not available (Why is that?)
• On the relationship between circumscription and negation as failure
• The strong exponential hierarchy collapses
• Description logics of minimal knowledge and negation as failure
• Reasoning on UML class diagrams
• A logical framework for default reasoning
• Probabilistic description logic programs
• Combining Horn rules and description logics in CARIN
• Conjunctive query answering for the description logic SHIQ
• Logics in Artificial Intelligence
• Title not available (Why is that?)
• Complexity Results for Nonmonotonic Logics
• Fuzzy description logic programs under the answer set semantics for the semantic web
• The complexity of propositional closed world reasoning and circumscription
• Declarative problem-solving using the DLV system
• Title not available (Why is that?)
• Logic Programming and Nonmonotonic Reasoning
• Logic for Programming, Artificial Intelligence, and Reasoning
• Title not available (Why is that?)
• Exploiting conjunctive queries in description logic programs

Cited In (80)

• Domain expansion for ASP-programs with external sources
• A model building framework for answer set programming with external computations
• On the relation between SPARQL1.1 and Answer Set Programming
• Combining event calculus and description logic reasoning via logic programming
• On Coherence and Consistence in Fuzzy Answer Set Semantics for Residuated Logic Programs
• Answer Set Programming: A Primer
• A logical semantics for description logic programs
• Evaluating epistemic negation in answer set programming
• Loop-separable programs and their first-order definability
• Loop formulas for description logic programs
• An ASP approach for reasoning in a concept-aware multipreferential lightweight DL
• Tightly integrated probabilistic description logic programs for representing ontology mappings
• Tightly Integrated Probabilistic Description Logic Programs for Representing Ontology Mappings
• Conceptual logic programs
• Decidability of Circumscribed Description Logics Revisited
• Probabilistic description logic programs
• Beyond NP: Quantifying over Answer Sets
• Reactive multi-context systems: heterogeneous reasoning in dynamic environments
• Enhancing context knowledge repositories with justifiable exceptions
• OntoDLV: An ASP-based System for Enterprise Ontologies
• Reasoning on with Defeasibility in ASP
• Polynomial rewritings from expressive description logics with closed predicates to variants of Datalog
• Stepwise debugging of description-logic programs
• Simulating production rules using ACTHEX
• ASP for minimal entailment in a rational extension of SROEL
• Description logic programs under probabilistic uncertainty and fuzzy vagueness
• FO(ID) as an extension of DL with rules
• Anytime Computation of Cautious Consequences in Answer Set Programming
• Bringing existential variables in answer set programming and bringing non-monotony in existential rules: two sides of the same coin
• Upward refinement operators for conceptual blending in the description logic \(\mathcal{EL}^{++}\)
• Cautious reasoning in ASP via minimal models and unsatisfiable cores
• Modular action language
• Data repair of inconsistent nonmonotonic description logic programs
• Fixed point semantics for stream reasoning
• Tractable reasoning with DL-programs over Datalog-rewritable description logics
• Exploiting conjunctive queries in description logic programs
• Local closed world reasoning with description logics under the well-founded semantics
• Adding Metalogic Features to Knowledge Representation Languages*
• The loop formula based semantics of description logic programs
• Integrity constraints in OWL ontologies based on grounded circumscription
• Logic Programming and Nonmonotonic Reasoning
• FLP answer set semantics without circular justifications for general logic programs
• Flexible Approximators for Approximating Fixpoint Theory
• Determining inference semantics for disjunctive logic programs
• Combining nonmonotonic knowledge bases with external sources
• Towards provenance in heterogeneous knowledge bases
• Building a Knowledge Base System for an Integration of Logic Programming and Classical Logic
• A framework for modular ERDF ontologies
• Reasoning on the web with assumption-based argumentation
• Open answer set programming for the semantic web
• Efficient description logic reasoning in Prolog: The DLog system
• Fuzzy description logic programs under the answer set semantics for the semantic web
• Well-supported semantics for logic programs with generalized rules
• Realizing Default Logic over Description Logic Knowledge Bases
• Description Logic Programs Under Probabilistic Uncertainty and Fuzzy Vagueness
• Extended RDF: computability and complexity issues
• Supportedly stable answer sets for logic programs with generalized atoms
• A formal model of semantic computing
• Tightly Coupled Probabilistic Description Logic Programs for the Semantic Web
• From description-logic programs to multi-context systems
• Complexity and compilation of GZ-aggregates in answer set programming
• Rewriting recursive aggregates in answer set programming: back to monotonicity
• Conflict-driven ASP solving with external sources
• Combining description logics, description graphs, and rules
• Inlining External Sources in Answer Set Programs
• Linking Open-World Knowledge Bases Using Nonmonotonic Rules
• Datalog rewritability and data complexity of \(\mathcal{ALCHOIQ}\) with closed predicates
• Justifications for Description Logic Knowledge Bases Under the Fixed-Domain Semantics
• Logic Programming
• Reasoning about Exceptions in Ontologies: from the Lexicographic Closure to the Skeptical Closure
• On combining ontologies and rules
• Abstract Solvers for Computing Cautious Consequences of ASP programs
• Semantic web
• Reasoning with Forest Logic Programs and f-hybrid knowledge bases
• Expressiveness of communication in answer set programming
• Reasoning on Multirelational Contextual Hierarchies via Answer Set Programming with Algebraic Measures
• Title not available (Why is that?)
• Defeasible RDFS via rational closure
• Translating OWL and semantic web rules into prolog: Moving toward description logic programs
• The role of semantics in mining frequent patterns from knowledge bases in description logics with rules

Uses Software

• RuleML
• DAML+OIL
• TRIPLE
• Smodels
• Racer
• swrl

This page was built for publication: Combining answer set programming with description logics for the semantic web

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