Combining answer set programming with description logics for the semantic web
From MaRDI portal
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
Cites work
- scientific article; zbMATH DE number 2086262 (Why is no real title available?)
- scientific article; zbMATH DE number 3888913 (Why is no real title available?)
- scientific article; zbMATH DE number 25190 (Why is no real title available?)
- scientific article; zbMATH DE number 67490 (Why is no real title available?)
- scientific article; zbMATH DE number 592370 (Why is no real title available?)
- scientific article; zbMATH DE number 1142309 (Why is no real title available?)
- scientific article; zbMATH DE number 1182733 (Why is no real title available?)
- scientific article; zbMATH DE number 1765711 (Why is no real title available?)
- scientific article; zbMATH DE number 2088362 (Why is no real title available?)
- scientific article; zbMATH DE number 2088364 (Why is no real title available?)
- scientific article; zbMATH DE number 837700 (Why is no real title available?)
- scientific article; zbMATH DE number 1405450 (Why is no real title available?)
- A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes
- A logic for default reasoning
- A logical framework for default reasoning
- Combining Horn rules and description logics in CARIN
- Complexity Results for Nonmonotonic Logics
- Complexity of the two-variable fragment with counting quantifiers
- Computing functions with parallel queries to NP
- Conjunctive query answering for the description logic SHIQ
- Declarative problem-solving using the DLV system
- Description logics of minimal knowledge and negation as failure
- Exploiting conjunctive queries in description logic programs
- Fuzzy description logic programs under the answer set semantics for the semantic web
- Knowledge Representation, Reasoning and Declarative Problem Solving
- Logic Programming and Nonmonotonic Reasoning
- Logic for Programming, Artificial Intelligence, and Reasoning
- Logics in Artificial Intelligence
- On the computational cost of disjunctive logic programming: Propositional case
- On the relationship between circumscription and negation as failure
- Probabilistic description logic programs
- Reasoning on UML class diagrams
- The DLV system for knowledge representation and reasoning
- The classical decision problem.
- The complexity of propositional closed world reasoning and circumscription
- The strong exponential hierarchy collapses
- The well-founded semantics for general logic programs
Cited in
(86)- Domain expansion for ASP-programs with external sources
- Combining description logics, description graphs, and rules
- 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
- NoHR: integrating XSB Prolog with the OWL 2 profiles and beyond
- On Coherence and Consistence in Fuzzy Answer Set Semantics for Residuated Logic Programs
- Well-founded semantics for description logic programs in the semantic web
- Datalog rewritability and data complexity of \(\mathcal{ALCHOIQ}\) with closed predicates
- Embedding nonground logic programs into autoepistemic logic for knowledge-base combination
- Justifications for Description Logic Knowledge Bases Under the Fixed-Domain Semantics
- Answer Set Programming: A Primer
- Anytime computation of cautious consequences in answer set programming
- Evaluating epistemic negation in answer set programming
- Loop-separable programs and their first-order definability
- Logic Programming
- A logical semantics for description logic programs
- Loop formulas for description logic programs
- Tightly integrated probabilistic description logic programs for representing ontology mappings
- An ASP approach for reasoning in a concept-aware multipreferential lightweight DL
- Conceptual logic programs
- Probabilistic description logic programs
- Tightly Integrated Probabilistic Description Logic Programs for Representing Ontology Mappings
- Reactive multi-context systems: heterogeneous reasoning in dynamic environments
- Enhancing context knowledge repositories with justifiable exceptions
- OntoDLV: An ASP-based System for Enterprise Ontologies
- On combining ontologies and rules
- Reasoning on with Defeasibility in ASP
- Abstract Solvers for Computing Cautious Consequences of ASP programs
- Polynomial rewritings from expressive description logics with closed predicates to variants of Datalog
- Stepwise debugging of description-logic programs
- Semantic web
- Simulating production rules using ACTHEX
- Description logic programs under probabilistic uncertainty and fuzzy vagueness
- FO(ID) as an extension of DL with rules
- ASP for minimal entailment in a rational extension of SROEL
- 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
- Expressiveness of communication in answer set programming
- Inlining external sources in answer set programs
- Flexible approximators for approximating fixpoint theory
- Data repair of inconsistent nonmonotonic description logic programs
- Fixed point semantics for stream reasoning
- Tractable reasoning with DL-programs over Datalog-rewritable description logics
- Reasoning on Datalog\(^\pm\) ontologies with abductive logic programming
- Exploiting conjunctive queries in description logic programs
- Local closed world reasoning with description logics under the well-founded semantics
- An abductive framework for Datalog\(^\pm\) ontologies
- The loop formula based semantics of description logic programs
- Decidability of circumscribed description logics revisited
- Adding Metalogic Features to Knowledge Representation Languages*
- Beyond NP: quantifying over answer sets
- Integrity constraints in OWL ontologies based on grounded circumscription
- scientific article; zbMATH DE number 1696722 (Why is no real title available?)
- FLP answer set semantics without circular justifications for general logic programs
- Defeasible RDFS via rational closure
- Logic Programming and Nonmonotonic Reasoning
- Reasoning about exceptions in ontologies: from the lexicographic closure to the skeptical closure
- Determining inference semantics for disjunctive logic programs
- A framework for modular ERDF ontologies
- Linking open-world knowledge bases using nonmonotonic rules
- Reasoning with forest logic programs and f-hybrid knowledge bases
- Towards provenance in heterogeneous knowledge bases
- Combining nonmonotonic knowledge bases with external sources
- Building a Knowledge Base System for an Integration of Logic Programming and Classical Logic
- Translating OWL and semantic web rules into prolog: Moving toward description logic programs
- Reasoning on the web with assumption-based argumentation
- Open answer set programming for the semantic web
- The role of semantics in mining frequent patterns from knowledge bases in description logics with rules
- Efficient description logic reasoning in Prolog: The DLog system
- Well-supported semantics for logic programs with generalized rules
- Fuzzy description logic programs under the answer set semantics for the semantic web
- 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
- Reasoning on multirelational contextual hierarchies via answer set programming with algebraic measures
- A formal model of semantic computing
- From description-logic programs to multi-context systems
- Tightly Coupled Probabilistic Description Logic Programs for the Semantic Web
- Reconciling OWL and non-monotonic rules for the semantic web
- 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
- Modular action language \(\mathcal{ALM}\)
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)
