Abstract
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.
Chapter PDF
Similar content being viewed by others
References
G. Antoniou, D. Billington, G. Governatori and M.J. Maher. Representation Results for Defeasible Logic. ACM Transactions on Computational Logic 2,2 (2001): 255–287.
F. Baader and B. Hollunder. A terminological knowledge representation system with complete inference algorithm. In Proc. Workshop on Processing Declarative Knowledge, LNAI, Springer 1991, 67–86.
M. Buchheit, F. Donini and A. Schaerf. Decidable Reasoning in terminological knowledge representation systems. Journal of Artificial Intelligence Research 1 (1993): 109–138.
D. Connolly et al. DAML+OIL (March 2001) Reference Description. http://www.w3.org/TR/daml+oil-reference.
F. Donini, M. Lenzerini, D. Nardi and A. Schaerf. Reasoning in Description Logics. In G. Brewka (ed): Principles of Knowledge Representation and Reasoning, Studies in Logic, Language and Information, CLSI Publications 1996, 193–238.
F. Donini, M. Lenzerini, D. Nardi and A. Schaerf. A hybrid system with datalog and concept languages. In E. Ardizzone, S. Gaglio, F. Sorbello (eds): Trends in Artificial Intelligence, LNAI 549, Springer 1991, 88–97.
A. Frisch (ed). Workshop Notes of the AAAI Fall Symposium on Principles of Hybrid Reasoning. AAAI Press 1991.
G. Governatori, A. ter Hofstede and P. Oaks. Defeasible Logic for Automated Negotiation. Proc. Collecter’2000.
B. Grosof. Prioritized conflict handling for logic programs. In Proc. International Logic Programming Symposium, MIT Press 1997, 197–211.
B. Grosof, Y. Lambrou and H. Chan. A Declarative Approach to Business Rules in Contracts: Courteous Logic Programs in XML. In Proc. 1st ACM Conference on Electronic Commerce, ACM 1999.
I. Horrocks and U. Sattler. Ontology reasoning in the SHOQ(D) description logic. In Proc. of the 17th Int. Joint Conf. on Artificial Intelligence (IJCAI-01), Morgan Kaufmann 2001, 199–204.
A. Levy and M-C. Rousset. CARIN: A Representation Language Combining Horn rules and Description Logics. Artificial Intelligence 104(1–2), 1998, 165–209.
M.J. Maher. Propositional Defeasible Logic has Linear Complexity. Theory and Practice of Logic Programming, 1,6 (2001): 691–711.
D. Nute. Defeasible Logic. In D.M. Gabbay, C.J. Hogger and J.A. Robinson (eds.): Handbook of Logic in Artificial Intelligence and Logic Programming Vol. 3, Oxford University Press 1994, 353–395.
H. Prakken. Logical Tools for Modelling Legal Argument: A Study of Defeasible Reasoning in Law. Kluwer Academic Publishers 1997.
R. Reiter. A Logic for Default Reasoning. Artificial Intelligence 13(1980): 81–132.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Antoniou, G. (2002). Nonmonotonic Rule Systems on Top of Ontology Layers. In: Horrocks, I., Hendler, J. (eds) The Semantic Web — ISWC 2002. ISWC 2002. Lecture Notes in Computer Science, vol 2342. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48005-6_30
Download citation
DOI: https://doi.org/10.1007/3-540-48005-6_30
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43760-4
Online ISBN: 978-3-540-48005-1
eBook Packages: Springer Book Archive