Rules and defeasible reasoning on the semantic web

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2876, Issue , 2003, Pages 111-120

  Antoniou, Grigoris ^a   Wagner, Gerd ^b  

^a INSTITUTE OF COMPUTER SCIENCE   (Greece)

^b EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

DEFEASIBLE REASONING; RULE BASED TECHNOLOGIES; SIMPLE TREATMENTS;

SEMANTIC WEB;

EID: 0242339590     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-39715-1_8     Document Type: Article

References (24)

1. G. Antoniou, D. Billington and M.J. Maher. On the analysis of regulations using defeasible rules. In Proc. 32nd Hawaii International Conference on Systems Sciences, 1999.
2. G. Antoniou, D. Billington, G. Governatori and M.J. Maher. A flexible framework for defeasible logics. In Proc. 17th American National Conference on Artificial Intelligence (AAAI-2000), 405-410.
3. G. Antoniou, D. Billington, G. Governatori and M.I. Maher. Representation Results for Defeasible Logic. ACM Transactions on Computational Logic 2,2 (2001): 255-287.
4. G. Antoniou. Nonmonotonic Rule Systems on top of Ontology Layers. In Proc. 1st International Semantic Web Conference, LNCS 2342, Springer 2002, 394-398.
5. M. Buchheit, F. Donini and A. Schaerf. Decidable Reasoning in terminological knowledge representation systems. Journal of Artificial Intelligence Research 1 (1993): 109138.
6. D. Connolly et al. DAML+OIL (March 2001) Reference Description. http://www.w3.org/TR/daml+oil-reference.
7. M. Dean et al. OWL Web Ontology Language Reference 1.0. http://www.w3.org/TR/owl-ref/
8. M. Dumas, G. Governatori, A. ter Hofstede, and P. Oaks. A formal approach to negotiating agents development. Electronic Commerce Research and Applications,1,1 (2002).
9. B. Grosof, Y. Labrou 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.
10. B. Grosof and T. Poon. Representing Agent Contracts with Exceptions using XML Rules, Ontologies, and Process. In Proc. Intern. Workshop on Rule Markup Languages for Business Rules on the Semantic Web, held 14 June 2002, Sardinia (Italy) in conjunction with the First International Semantic Web Conference.
11. B. Grosof and I. Horrocks. Description Logic Programs: Combining Logic Programs with Description Logic. Unpublished manuscript.
12. S. Heymanns and D. Vermeir. A Defeasible Ontology Language. In R. Meersman and Z. Tari (Eds.), CoopIS/DOA/ODBASE 2002, LNCS 2519, 1033-1046.
13. 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.
14. A. Levy and M-C. Rousset. CARIN: A Representation Language Combining Horn rules and Description Logics. Artificial Intelligence 104(1-2), 1998, 165 209.
15. K. Kunen. Negation in Logic Programming. Journal of Logic Programming 4,4 (1987): 289-308.
16. M.J. Maher and G. Governatori. A Semantic Decomposition of Defeasible Logics. Proc. American National Conference on Artificial Intelligence (AAAI-99), 299-306.
17. M.J. Maher. Prepositional Defeasible Logic has Linear Complexity. Theory and Practice of Logic Programming. 1,6 (2001): 691-711.
18. V. Marek and M. Truszczynski. Nonmonotonic Reasoning - Context-Dependent Reasoning. Springer 1993.
19. L. Morgenstern. Inheritance Comes of Age: Applying Nonmonotonic Techniques to Problems in Industry. Artificial Intelligence, 103(1998): 1-34.
20. 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.
21. H. Prakken. Logical Tools for Modelling Legal Argument: A Study of Defeasible Reasoning in Law. Kluwer Academic Publishers 1997.
22. R. Reiter. A Logic for Default Reasoning. Artificial Intelligence 13(1980): 81-132.
23. www.w3.org/2001/sw/
24. G. Wagner. Ex contradictione nihil sequitur. In Proceedings of International Joint Conference on Artificial Intelligence IJCAI'91, Morgan Kaufmann, 1991.