From description-logic programs to multi-context systems

No abstract is available for this paper.

• Publication year

  2017

• Venue

  J. Log. Algebraic Methods Program.

• Publication date

  2017-04-01

• Fields of study

  Mathematics, Computer Science

• Identifiers
  DOI 10.1016/j.jlamp.2017.01.005
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Evolving Bridge Rules in Evolving Multi-Context Systems

  2014cited by this paper
• Information Flow within Relational Multi-context Systems

  2014cited by this paper
• Evolving Multi-Context Systems

  2014cited by this paper
• Description Logics, Rules and Multi-context Systems

  2013cited by this paper
• Design Patterns for Description-Logic Programs

  2013cited by this paper
• MKNF Knowledge Bases in Multi-Context Systems

  2012cited by this paper
• Dynamic Distributed Nonmonotonic Multi-Context Systems ∗

  2011cited by this paper
• Relational Information Exchange and Aggregation in Multi-Context Systems

  2011cited by this paper
• Towards a Policy Language for Managing Inconsistency in Multi-Context Systems

  2011cited by this paper
• Embedding Description Logic Programs into Default Logic

  2011cited by this paper
• Tractable Reasoning with DL-Programs over Datalog-rewritable Description Logics

  2010cited by this paper
• Reconciling description logics and rules

  2010influential reference
• A Logical Semantics for Description Logic Programs

  2010cited by this paper
• Embedding Approaches to Combining Rules and Ontologies into Autoepistemic Logic

  2008cited by this paper
• Rules and Ontologies for the Semantic Web

  2008cited by this paper
• Equilibria in Heterogeneous Nonmonotonic Multi-Context Systems

  2007influential reference
• Reasoning with Rules and Ontologies

  2006cited by this paper
• dlvhex: A Prover for Semantic-Web Reasoning under the Answer-Set Semantics

  2006cited by this paper
• DL+log: Tight Integration of Description Logics and Disjunctive Datalog

  2006cited by this paper
• Minimal and Absent Information in Contexts

  2005cited by this paper
• A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer-Set Programming

  2005cited by this paper
• Combining answer set programming with description logics for the Semantic Web

  2004influential reference
• Well-founded semantics for description logic programs in the semantic web

  2004influential reference
• AL-log: Integrating Datalog and Description Logics

  2004cited by this paper
• RACER System Description

  2001cited by this paper
• A tutorial on default logics

  1999cited by this paper
• Complexity and expressive power of logic programming

  1997cited by this paper
• Embedding defaults into terminological knowledge representation formalisms

  1995influential reference
• Multilanguage hierarchical logics (or: how we can do without modal logics)

  1994cited by this paper
• Notes on Formalizing Context

  1993cited by this paper
• Nonmonotonic Reasoning

  1988cited by this paper
• A Logic for Default Reasoning

  1987cited by this paper
• Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence Managed Multi-Context Systems ∗

  year unknowninfluential reference

• No citing papers are available for this paper.