Handbook of logic in artificial intelligence and logic programming (vol. 3)
Reasoning in description logics
Principles of knowledge representation
Prioritized conflict handing for logic programs
ILPS '97 Proceedings of the 1997 international symposium on Logic programming
Combining Horn rules and description logics in CARIN
Artificial Intelligence
A declarative approach to business rules in contracts: courteous logic programs in XML
Proceedings of the 1st ACM conference on Electronic commerce
Representation results for defeasible logic
ACM Transactions on Computational Logic (TOCL)
A Terminological Knowledge Representation System with Complete Inference Algorithms
PDK '91 Proceedings of the International Workshop on Processing Declarative Knowledge
A Hybrid System with Datalog and Concept Languages
AI*IA Proceedings of the 2nd Congress of the Italian Association for Artificial Intelligence on Trends in Artificial Intelligence
Propositional defeasible logic has linear complexity
Theory and Practice of Logic Programming
Decidable reasoning in terminological knowledge representation systems
Journal of Artificial Intelligence Research
Ontology reasoning in the SHOQ(D) description logic
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Logical Tools for Modelling Legal Argument: A Study of Defeasible Reasoning in Law
Logical Tools for Modelling Legal Argument: A Study of Defeasible Reasoning in Law
WWW '03 Proceedings of the 12th international conference on World Wide Web
Embedding defeasible logic into logic programming
Theory and Practice of Logic Programming
Probabilistic description logic programs
International Journal of Approximate Reasoning
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
Propositional Clausal Defeasible Logic
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
On the decidability and complexity of integrating ontologies and rules
Web Semantics: Science, Services and Agents on the World Wide Web
Temporal extensions to defeasible logic
AI'07 Proceedings of the 20th Australian joint conference on Advances in artificial intelligence
A rule-based implementation of fuzzy tableau reasoning
RuleML'10 Proceedings of the 2010 international conference on Semantic web rules
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
Probabilistic description logic programs
ECSQARU'05 Proceedings of the 8th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
A defeasible logic for clauses
AI'11 Proceedings of the 24th international conference on Advances in Artificial Intelligence
A general Datalog-based framework for tractable query answering over ontologies
Web Semantics: Science, Services and Agents on the World Wide Web
Hi-index | 0.00 |
The development of the Semantic Web proceeds in layers. Currently the most advanced layer that has reached maturity is the ontology layer, in the from of the DAML+OIL language which corresponds to a rich description logic. The next step will be the the realization of logical rule systems on top of the ontology layer.Computationally simple nonmonotonic rule systems show promise to play an important role in electronic commerce on the Semantic Web. In this paper we outline how nonmonotonic rule systems in the form of defeasible reasoning, can be built on top of description logics.