The alternating fixpoint of logic programs with negation
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The well-founded semantics for general logic programs
Journal of the ACM (JACM)
Well founded semantics for logic programs with explicit negation
ECAI '92 Proceedings of the 10th European conference on Artificial intelligence
Journal of Logic Programming
Tabled evaluation with delaying for general logic programs
Journal of the ACM (JACM)
First-order logic and automated theorem proving (2nd ed.)
First-order logic and automated theorem proving (2nd ed.)
Combining Horn rules and description logics in CARIN
Artificial Intelligence
{\cal A}{\cal L}-log: Integrating Datalog and Description Logics
Journal of Intelligent Information Systems
Complexity and expressive power of logic programming
ACM Computing Surveys (CSUR)
Description logics of minimal knowledge and negation as failure
ACM Transactions on Computational Logic (TOCL)
Description logic programs: combining logic programs with description logic
WWW '03 Proceedings of the 12th international conference on World Wide Web
A proposal for an owl rules language
Proceedings of the 13th international conference on World Wide Web
A uniform approach to logic programming semantics
Theory and Practice of Logic Programming
Combining answer set programming with description logics for the Semantic Web
Artificial Intelligence
A Novel Combination of Answer Set Programming with Description Logics for the Semantic Web
ESWC '07 Proceedings of the 4th European conference on The Semantic Web: Research and Applications
Any-World Access to OWL from Prolog
KI '07 Proceedings of the 30th annual German conference on Advances in Artificial Intelligence
Rules and Ontologies for the Semantic Web
Reasoning Web
Semantic Matchmaking of Web Resources with Local Closed-World Reasoning
International Journal of Electronic Commerce
ELP: Tractable Rules for OWL 2
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
Hybrid Reasoning with Forest Logic Programs
ESWC 2009 Heraklion Proceedings of the 6th European Semantic Web Conference on The Semantic Web: Research and Applications
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
A Coherent Well-founded Model for Hybrid MKNF Knowledge Bases
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Complexity boundaries for horn description logics
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Embedding non-ground logic programs into autoepistemic logic for knowledge-base combination
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
A faithful integration of description logics with logic programming
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Nonmonotonic databases and epistemic queries
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Data complexity of reasoning in very expressive description logics
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Foundations of Semantic Web Technologies
Foundations of Semantic Web Technologies
A Preferential Tableaux Calculus for Circumscriptive ${\mathcal ALCO}$
RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
Queries to Hybrid MKNF Knowledge Bases through Oracular Tabling
ISWC '09 Proceedings of the 8th International Semantic Web Conference
Query Answering for OWL-DL with rules
Web Semantics: Science, Services and Agents on the World Wide Web
On the decidability and complexity of integrating ontologies and rules
Web Semantics: Science, Services and Agents on the World Wide Web
Reconciling description logics and rules
Journal of the ACM (JACM)
Well-founded semantics for hybrid rules
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
Quantified equilibrium logic and hybrid rules
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
Towards tractable local closed world reasoning for the semantic web
EPIA'07 Proceedings of the aritficial intelligence 13th Portuguese conference on Progress in artificial intelligence
Matching patient records to clinical trials using ontologies
ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference
Querying in EL+ with Nonmonotonic Rules
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Efficient inferencing for OWL EL
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
Description Logic Rules
A better uncle for OWL: nominal schemas for integrating rules and ontologies
Proceedings of the 20th international conference on World wide web
Effective integration of declarative rules with external evaluations for semantic-web reasoning
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
Matching semantic service descriptions with local closed-world reasoning
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
Can OWL and logic programming live together happily ever after?
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
Implementing query answering for hybrid MKNF knowledge bases
PADL'10 Proceedings of the 12th international conference on Practical Aspects of Declarative Languages
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
Paraconsistent semantics for hybrid MKNF knowledge bases
RR'11 Proceedings of the 5th international conference on Web reasoning and rule systems
Normative systems represented as hybrid knowledge bases
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
Querying OWL 2 QL and non-monotonic rules
ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part I
Local closed world semantics: grounded circumscription for OWL
ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part I
An approach to conceptual ontology integration with an ontology repository and a rule base
AIKED'12 Proceedings of the 11th WSEAS international conference on Artificial Intelligence, Knowledge Engineering and Data Bases
Normative systems require hybrid knowledge bases
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 3
Ontology-based feature mapping and verification between CAD systems
Advanced Engineering Informatics
Semantics enhanced engineering and model reasoning for control application development
Multimedia Tools and Applications
Query-Driven Procedures for Hybrid MKNF Knowledge Bases
ACM Transactions on Computational Logic (TOCL)
Defeasible inheritance-based description logics
Journal of Artificial Intelligence Research
Reasoning with vagueness in hybrid MKNF knowledge bases
Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology
Hi-index | 0.00 |
An important question for the upcoming Semantic Web is how to best combine open world ontology languages, such as the OWL-based ones, with closed world rule-based languages. One of the most mature proposals for this combination is known as hybrid MKNF knowledge bases (Motik and Rosati, 2010 [52]), and it is based on an adaptation of the Stable Model Semantics to knowledge bases consisting of ontology axioms and rules. In this paper we propose a well-founded semantics for nondisjunctive hybrid MKNF knowledge bases that promises to provide better efficiency of reasoning, and that is compatible with both the OWL-based semantics and the traditional Well-Founded Semantics for logic programs. Moreover, our proposal allows for the detection of inconsistencies, possibly occurring in tightly integrated ontology axioms and rules, with only little additional effort. We also identify tractable fragments of the resulting language.