Integrating Description Logics and Answer Set Programming

No abstract is available for this paper.

• Publication year

  2003

• Venue

  Principles and Practice of Semantic Web Reasoning

• Publication date

  2003-12-08

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1007/978-3-540-24572-8_10
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Reasoning in description logics using declarative logic programming

  2004cited by this paper
• AL-log: Integrating Datalog and Description Logics

  2004cited by this paper
• Integrating ontology languages and answer set programming

  2003influential reference
• Description logic programs: combining logic programs with description logic

  2003cited by this paper
• A Defeasible Ontology Language

  2002cited by this paper
• On the Move to Meaningful Internet Systems 2002: CoopIS, DOA, and ODBASE

  2002cited by this paper
• Answer set programming and plan generation

  2002influential reference
• Web ontology language (OWL) reference version 1

  2002influential reference
• DAML+OIL is not Enough

  2001influential reference
• The Semantic Web" in Scientific American

  2001influential reference
• OIL in a Nutshell

  2000influential reference
• A Description Logic with Transitive and Inverse Roles and Role Hierarchies

  1999cited by this paper
• A Description Logic with Transitive and Converse Roles, Role Hierarchies and Qualifying Number Restrictions

  1999cited by this paper
• Practical Reasoning for Expressive Description Logics

  1999influential reference
• Reasoning about The Past with Two-Way Automata

  1998cited by this paper
• Datalog and Description Logics: Expressive Power

  1997cited by this paper
• On the Relative Expressiveness of Description Logics and Predicate Logics

  1996cited by this paper
• Why is Modal Logic So Robustly Decidable?

  1996cited by this paper
• Ontologies: principles, methods and applications

  1996cited by this paper
• Logic Programming and Automated Reasoning

  1994cited by this paper
• The Stable Model Semantics for Logic Programming

  1988cited by this paper
• On Observing Nondeterminism and Concurrency

  1980cited by this paper

• On Coherence and Consistence in Fuzzy Answer Set Semantics for Residuated Logic Programs

  2009cites this paper
• Evolving Use of Distributed Semantics to Achieve Net-centricity

  2007cites this paper
• Translating OWL and semantic web rules into prolog: Moving toward description logic programs

  2007cites this paper
• Open answer set programming for the semantic web

  2007cites this paper
• Answer Set Programming for the Semantic Web

  2007cites this paper
• A Novel Combination of Answer Set Programming with Description Logics for the Semantic Web

  2007cites this paper
• Integrating Ontologies and Rules: Semantic and Computational Issues

  2006cites this paper
• Reasoning with the Description Logic DLRO ¡fg using Bound Guarded Programs

  2006cites this paper
• Applications of Logic Programming in the Semantic Web and Semantic Web Services August

  2006cites this paper
• Uncertainty and description logic programs over lattices

  2006cites this paper
• Semantic and Computational Advantages of the Safe Integration of Ontologies and Rules

  2005cites this paper
• Guarded Open Answer Set Programming

  2005cites this paper
• On the decidability and complexity of integrating ontologies and rules

  2005cites this paper
• Combining Rules and Ontologies . A survey .

  2005cites this paper
• WASP WP3 Report: Language Extensions and Software Engineering for ASP

  2005influential citation
• I3-D3 Combining Rules and Ontologies. A survey.

  2005cites this paper
• Uncertainty and Description Logic Programs : A Proposal for Expressing Rules and Uncertainty on Top of Ontologies

  2004influential citation
• An Extension to OWL with General Rules

  2004cites this paper
• Uncertainty in Description Logic Programs

  2004influential citation
• Semantic Web Reasoning with Conceptual Logic Programs

  2004cites this paper
• Combining Description Logic and Defeasible Logic for the Semantic Web

  2004cites this paper