The extended closed world assumption and its relationship to parallel circumscription
PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
A logical framework for default reasoning
Artificial Intelligence
On the relationship between circumscription and negation as failure
Artificial Intelligence
A catalog of complexity classes
Handbook of theoretical computer science (vol. A)
The well-founded semantics for general logic programs
Journal of the ACM (JACM)
The complexity of propositional closed world reasoning and circumscription
Journal of Computer and System Sciences
Some direct theories of nonmonotonic inheritance
Handbook of logic in artificial intelligence and logic programming (vol. 3)
Proceedings of the eleventh international conference on Logic programming
Computing functions with parallel queries to NP
Theoretical Computer Science
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
Description logics for conceptual data modeling
Logics for databases and 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)
Data integration: a theoretical perspective
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Declarative problem-solving using the DLV system
Logic-based artificial intelligence
Knowledge Representation, Reasoning, and Declarative Problem Solving
Knowledge Representation, Reasoning, and Declarative Problem Solving
OIL: An Ontology Infrastructure for the Semantic Web
IEEE Intelligent Systems
DAML+OIL: A Reason-able Web Ontology Language
EDBT '02 Proceedings of the 8th International Conference on Extending Database Technology: Advances in Database Technology
Modular Logic Programming and Generalized Quantifiers
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
Nonmonotonic Rule Systems on Top of Ontology Layers
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
TRIPLE - A Query, Inference, and Transformation Language for the Semantic Web
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Description logic programs: combining logic programs with description logic
WWW '03 Proceedings of the 12th international conference on World Wide Web
Integrating Ontology Languages and Answer Set Programming
DEXA '03 Proceedings of the 14th International Workshop on Database and Expert Systems Applications
A proposal for an owl rules language
Proceedings of the 13th international conference on World Wide Web
Spinning the Semantic Web: Bringing the World Wide Web to Its Full Potential
Spinning the Semantic Web: Bringing the World Wide Web to Its Full Potential
Complexity of the Two-Variable Fragment with Counting Quantifiers
Journal of Logic, Language and Information
Reasoning on UML class diagrams
Artificial Intelligence
The DLV system for knowledge representation and reasoning
ACM Transactions on Computational Logic (TOCL)
Probabilistic description logic programs
International Journal of Approximate Reasoning
Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web
Fundamenta Informaticae
Tractable Probabilistic Description Logic Programs
SUM '07 Proceedings of the 1st international conference on Scalable Uncertainty Management
Characterizing data complexity for conjunctive query answering in expressive description logics
AAAI'06 Proceedings of the 21st 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
Conjunctive query answering for the description logic SHIQ
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
A uniform integration of higher-order reasoning and external evaluations in answer-set programming
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
OWL rules: A proposal and prototype implementation
Web Semantics: Science, Services and Agents on the World Wide Web
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
Stable model theory for extended RDF ontologies
ISWC'05 Proceedings of the 4th international conference on The Semantic 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
Rules with contextually scoped negation
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
On representational issues about combinations of classical theories with nonmonotonic rules
KSEM'06 Proceedings of the First international conference on Knowledge Science, Engineering and Management
Can OWL and logic programming live together happily ever after?
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
Nonmonotonic ontological and rule-based reasoning with extended conceptual logic programs
ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
Semantic and computational advantages of the safe integration of ontologies and rules
PPSWR'05 Proceedings of the Third international conference on Principles and Practice of Semantic Web Reasoning
Merging and aligning ontologies in dl-programs
RuleML'05 Proceedings of the First international conference on Rules and Rule Markup Languages for the Semantic Web
An Approach to Probabilistic Data Integration for the Semantic Web
Uncertainty Reasoning for the Semantic Web I
Rule-Based Approaches for Representing Probabilistic Ontology Mappings
Uncertainty Reasoning for the Semantic Web I
Combining Fuzzy Description Logics and Fuzzy Logic Programs
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 03
Exploiting conjunctive queries in description logic programs
Annals of Mathematics and Artificial Intelligence
Hybrid Reasoning with Forest Logic Programs
ESWC 2009 Heraklion Proceedings of the 6th European Semantic Web Conference on The Semantic Web: Research and Applications
Realizing Default Logic over Description Logic Knowledge Bases
ECSQARU '09 Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Tightly Coupled Probabilistic Description Logic Programs for the Semantic Web
Journal on Data Semantics XII
A Default Approach to Semantics of Logic Programs with Constraint Atoms
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Towards an Embedded Approach to Declarative Problem Solving in ASP
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Uncertainty in the Semantic Web
SUM '09 Proceedings of the 3rd International Conference on Scalable Uncertainty Management
Modularity aspects of disjunctive stable models
Journal of Artificial Intelligence Research
Decomposition of declarative knowledge bases with external functions
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Uncertainty Reasoning for the Semantic Web
RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
A Reasoner for Simple Conceptual Logic Programs
RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
Reconciling description logics and rules
Journal of the ACM (JACM)
Combining nonmonotonic knowledge bases with external sources
FroCoS'09 Proceedings of the 7th international conference on Frontiers of combining systems
Hybrid reasoning with rules and ontologies
Semantic techniques for the web
Theory and Practice of Logic Programming
Loop formulas for description logic programs
Theory and Practice of Logic Programming
Tractable Reasoning with DL-Programs over Datalog-rewritable Description Logics
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Well-founded semantics for description logic programs in the semantic web
ACM Transactions on Computational Logic (TOCL)
Logic programming languages for databases and the web
A 25-year perspective on logic programming
Pellet-HeaRT - proposal of an architecture for ontology systems with rules
KI'10 Proceedings of the 33rd annual German conference on Advances in artificial intelligence
Hybrid reasoning with non-monotonic rules
ReasoningWeb'10 Proceedings of the 6th international conference on Semantic technologies for software engineering
A logical semantics for description logic programs
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
Counterexample guided abstraction refinement algorithm for propositional circumscription
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
A rule-based implementation of fuzzy tableau reasoning
RuleML'10 Proceedings of the 2010 international conference on Semantic web rules
Embedding nonground logic programs into autoepistemic logic for knowledge-base combination
ACM Transactions on Computational Logic (TOCL)
Loop-separable programs and their first-order definability
Artificial Intelligence
Declarative semantics for the rule interchange format production rule dialect
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
Adding integrity constraints to the semantic web for instance data evaluation
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part II
Symmetry-breaking answer set solving
AI Communications - Answer Set Programming
Integration proposal for description logic and attributive logic: towards semantic web rules
Transactions on computational collective intelligence II
Data & Knowledge Engineering
Local closed world reasoning with description logics under the well-founded semantics
Artificial Intelligence
Logic programming, knowledge representation, and nonmonotonic reasoning
Communicating ASP and the polynomial hierarchy
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
Strong equivalence of logic programs with abstract constraint atoms
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
Integrating rules and ontologies in the first-order stable model semantics
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
Underwater archaeological 3D surveys validation within the removed sets framework
ECSQARU'11 Proceedings of the 11th European conference on Symbolic and quantitative approaches to reasoning with uncertainty
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
Inline evaluation of hybrid knowledge bases PhD description
RR'11 Proceedings of the 5th international conference on Web reasoning and rule systems
Extending logic programs with description logic expressions for the semantic web
ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part I
DC proposal: towards a framework for efficient query answering and integration of geospatial data
ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part II
The loop formula based semantics of description logic programs
Theoretical Computer Science
Dealing with inconsistency when combining ontologies and rules using DL-Programs
ESWC'10 Proceedings of the 7th international conference on The Semantic Web: research and Applications - Volume Part I
Tightly integrated probabilistic description logic programs for representing ontology mappings
Annals of Mathematics and Artificial Intelligence
Uniform evaluation of nonmonotonic DL-Programs
FoIKS'12 Proceedings of the 7th international conference on Foundations of Information and Knowledge Systems
A general Datalog-based framework for tractable query answering over ontologies
Web Semantics: Science, Services and Agents on the World Wide Web
Well-supported semantics for description logic programs
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
International Journal of Metadata, Semantics and Ontologies
Simulating production rules using ACTHEX
Correct Reasoning
Stepwise debugging of description-logic programs
Correct Reasoning
Well-Supported semantics for logic programs with generalized rules
Correct Reasoning
ALC + T: a Preferential Extension of Description Logics
Fundamenta Informaticae - Advances in Computational Logic (CIL C08)
Complex reactivity with preferences in rule-based agents
RuleML'12 Proceedings of the 6th international conference on Rules on the Web: research and applications
Semantic independence in DL-programs
RR'12 Proceedings of the 6th international conference on Web Reasoning and Rule Systems
Conflict-driven asp solving with external sources
Theory and Practice of Logic Programming
RDL: enhancing description logic with rules
AI'12 Proceedings of the 25th Australasian joint conference on Advances in Artificial Intelligence
Query-Driven Procedures for Hybrid MKNF Knowledge Bases
ACM Transactions on Computational Logic (TOCL)
A framework for modular ERDF ontologies
Annals of Mathematics and Artificial Intelligence
Inconsistency management for description logic programs and beyond
RR'13 Proceedings of the 7th international conference on Web Reasoning and Rule Systems
Eliminating nonmonotonic DL-Atoms in description logic programs
RR'13 Proceedings of the 7th international conference on Web Reasoning and Rule Systems
Rule revision in normal DL logic programs
RR'13 Proceedings of the 7th international conference on Web Reasoning and Rule Systems
Data repair of inconsistent DL-programs
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Integrity constraints in OWL ontologies based on grounded circumscription
Frontiers of Computer Science: Selected Publications from Chinese Universities
Hi-index | 0.00 |
We propose a combination of logic programming under the answer set semantics with the description logics SHIF(D) and SHOIN(D), which underly the Web ontology languages OWL Lite and OWL DL, respectively. To this end, we introduce description logic programs (or dl-programs), which consist of a description logic knowledge base L and a finite set P of description logic rules (or dl-rules). Such rules are similar to usual rules in nonmonotonic logic programs, but they may also contain queries to L, possibly under default negation, in their bodies. They allow for building rules on top of ontologies but also, to a limited extent, building ontologies on top of rules. We define a suite of semantics for various classes of dl-programs, which conservatively extend the standard semantics of the respective classes and coincide with it in absence of a description logic knowledge base. More concretely, we generalize positive, stratified, and arbitrary normal logic programs to dl-programs, and define a Herbrand model semantics for them. We show that they have similar properties as ordinary logic programs, and also provide fixpoint characterizations in terms of (iterated) consequence operators. For arbitrary dl-programs, we define answer sets by generalizing Gelfond and Lifschitz's notion of a transform, leading to a strong and a weak answer set semantics, which are based on reductions to the semantics of positive dl-programs and ordinary positive logic programs, respectively. We also show how the weak answer sets can be computed utilizing answer sets of ordinary normal logic programs. Furthermore, we show how some advanced reasoning tasks for the Semantic Web, including different forms of closed-world reasoning and default reasoning, as well as DL-safe rules, can be realized on top of dl-programs. Finally, we give a precise picture of the computational complexity of dl-programs, and we describe efficient algorithms and a prototype implementation of dl-programs which is available on the Web.