A semantical framework for hybrid knowledge bases

This publication has 18 references indexed in Scilit:

• A knowledge encapsulation approach to ontology modularization
  Knowledge and Information Systems, 2010
• SPARQL graph pattern rewriting for OWL-DL inference queries
  Knowledge and Information Systems, 2008
• Combining answer set programming with description logics for the Semantic Web
  Artificial Intelligence, 2008
• A Characterization of Strong Equivalence for Logic Programs with Variables
  2007
• Equilibrium logic
  Annals of Mathematics and Artificial Intelligence, 2006
• A First Order Nonmonotonic Extension of Constructive Logic
  Studia Logica, 2005
• On the decidability and complexity of integrating ontologies and rules
  Journal of Web Semantics, 2005
• Guarded Open Answer Set Programming
  Lecture Notes in Computer Science, 2005
• Combining Description Logic and Defeasible Logic for the Semantic Web
  2004
• Strongly equivalent logic programs
  ACM Transactions on Computational Logic, 2001