SweetProlog: A system to integrate ontologies and rules

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

Volumn 3323 LNCS, Issue , 2004, Pages 188-193

  Laera, Loredana ^a   Tamma, Valentina ^a   Bench Capon, Trevor ^a   Semeraro, Giovanni ^b  

^a UNIVERSITY OF LIVERPOOL   (United Kingdom)

^b UNIVERSITY OF BARI   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

A-PROLOG; DESCRIPTION LOGIC; LOGIC PROGRAMS; ONTOLOGIES AND RULES; OWL ONTOLOGIES; DESIGN AND IMPLEMENTATIONS;

COMPUTER PROGRAMMING LANGUAGES; DATA DESCRIPTION; LINGUISTICS; LOGIC PROGRAMMING; MARKUP LANGUAGES; ONTOLOGY; PROLOG (PROGRAMMING LANGUAGE); SEMANTICS; TRANSLATION (LANGUAGES); COMPUTATIONAL LINGUISTICS; SEMANTIC WEB;

SEMANTIC WEB; PROLOG (PROGRAMMING LANGUAGE);

EID: 77249109511     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30504-0_15     Document Type: Conference Paper

References (10)

1. G. Antoniou. A nonmonotonic rule system using ontologies. In Proceedings of the International Workshop on Rule Markup Languages for Business Rules on the Semantic Web, 2002.
2. T. Berners-Lee, J. Hendler, and O. Lassila. The semantic web. Scientific American, 2001. http://www.sciam.com/2001/0501issue/ 0501berners.
3. H. Boley, S. Tabet, and G. Wagner. Design rationale of RuleML: A markup language for semantic web rules. In International Semantic Web Working Symposium (SWWS), 2001.
4. W.F. Clocksin and C.S. Mellish. Programing in Prolog. Springer-Verlag, Berlin, 1987.
5. M. Dean, G. Schreiber, F. van Harmelen, J. Hendler, I. Horrocks, D. McGuinness, P. Patel-Schneider, and L. Stein. OWL Web Ontology Language Reference. http://www.w3.org/TR/2003/WD-owl-ref-20030331/.
6. Benjamin N. Grosof, Mahesh D. Gandhe, and Timothy W. Finin. SweetJess: Inferencing in situated courteous ruleml via translation to and from jess rules. Working paper, May 2, 2003. http://ebusiness.mit.edu/bgrosof/.
7. Benjamin N. Grosof, Ian Horrocks, Raphael Volz, and Stefan Decker. Description logic programs: Combining logic programs with description logic. In Proc. of the Twelfth International World Wide Web Conference (WWW 2003), pages 48-57. ACM, 2003.
8. B. Grosof. Courteous logic programs: Prioritized conflict handling for rules. Technical report, IBM Research Report RC 20836, Dec. 30 1997, revised from May 8 1997.
9. B. Grosof. A courteous compiler from generalized courteous logic programs to ordinary logic programs (Preliminary Report). Technical report, IBM T.J. Watson Research Center, http://www.research.ibm.com/people/g/grosof/papers.html, July 1999.
10. Benjamin N. Grosof. SweetDeal: Representing Agent Contracts with Exceptions using XML Rules, Ontologies, and Process Descriptions. In Proceedings of the twelfth international conference on World Wide Web, Budapest, Hungary, 2003.