An extension to OWL with general rules

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

Volumn 3323 LNCS, Issue , 2004, Pages 155-169

  Mei, Jing ^a   Liu, Shengping ^a   Yue, Anbu ^a   Lin, Zuoquan ^a  

^a PEKING UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACT SYNTAX; ANSWER SET PROGRAMMING; EXPRESSIVE POWER; HORN CLAUSE; ITERATIVE PROCEDURES; LITERALS; MORE-GENERAL RULES; NEGATION AS FAILURES; OWL EXTENSION; RULES LANGUAGES;

LINGUISTICS; LOGIC PROGRAMMING; MARKUP LANGUAGES; QUERY LANGUAGES; SEMANTIC WEB; SEMANTICS; COMPUTATIONAL LINGUISTICS; COMPUTER PROGRAMMING; COMPUTER PROGRAMMING LANGUAGES;

COMPUTER PROGRAMMING LANGUAGES; BIRDS;

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

References (22)

1. Alon Levy , Marie-Christine Rousset: Combining Horn Rules and Description Logics in CARIN Artificial Intelligence 104(1-2):165-209, 1998.
2. Benjamin Grosof: slightly revised "long" version of warning label section for OWL Rules draft. Available at http://www.daml.org/listarchive/ joint-committee/1491.html
3. Benjamin Grosof, Ian Horrocks, Raphael Volz, Stefan Decker: Description Logic Programs: Combining Logic Programs with Description Logics. Proc. of WWW 2003, Budapest, Hungary, May 2003.
4. Elisa Bertino, Alessandro Provetti, Franco Salvetti: Answer Set Programming for the Semantic Web. IJCAI 2003.
5. Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, An- drea Schaerf: AL-log: integrating datalog and description logics. Journal of Intelligent Information Systems, 10:227-252, 1998.
6. Franz Baader, Bernhard Hollunder: Embedding Defaults into Terminological Knowledge Representation Formalisms. J. Autom. Reasoning 14(1): 149-180, 1995.
7. Gerd Wagner: The Semantic Web Needs Two Kinds of Negation. PPSWR 2003: 33-50
8. Grigoris Antoniou, Gerd Wagner: Rules and Defeasible Reasoning on the Semantic Web RuleML 2003, LNCS 2876, pp. 111-120, 2003.
9. Guray Alsac, Chitta Baral: Reasoning in description logics using declarative logic programming. Abstract, ASU Technical Report 2001-2002.
10. Ian Horrocks, Peter F. Patel-Schneider: A Proposal for an OWL Rules Language. In Proc. of the Thirteenth International World Wide Web Conference (WWW 2004), pages 723-731. ACM, 2004.
11. Ian Horrocks, Peter F. Patel-Schneider, Frank van Harmelen: From SHIQ and RDF to OWL: The Making of a Web Ontology Language. Journal of Web Semantics. 2003.
12. Ian Horrocks, Peter F. Patel-Schneider, Harold Boley, Said Tabet, Benjamin Grosof, Mike Dean: SWRL: A Semantic Web Rule Language Combining OWL and RuleML. Available at http://www.daml.org/2004/04/swrl/
13. Jeff Heflin, Hector Munoz-Avila: LCW-Based Agent Planning for the Semantic Web. AAAI 2002 Workshop WS-02-11. AAAI Press, Menlo Park, CA, 1998. pp. 63-70.
14. Michael Gelfond, Nicola Leone: Logic programming and knowledge representation-the A-Prolog perspective. Artificial Intelligence 138(2002) 3-38.
15. Michael Gelfond, Vladimir Lifschitz: The Stable Model Semantics For Logic Programming. Proceedings of the Fifth International Conference on Logic Programming, 1988, pp.1070-1080.
16. Patrick Hayes, Brian McBride: RDF Semantics . W3C Recommendation 10 February 2004. Available at http://www.w3.org/TR/2004/REC-rdf-mt-20040210/
17. Peter F. Patel-Schneider, Patrick Hayes, Ian Horrocks: OWL Web Ontology Language Semantics and Abstract Syntax. W3C Recommendation 10 February 2004. Available at http://www.w3.org/TR/2004 /REC-owl-semantics-20040210/
18. Riccardo Rosati: Towards expressive KR systems integrating datalog and description logics: Preliminary report. In Proc. 1999 Int. Workshop on Description Logics(DL-1999), 160-164.
19. Stijn Heymans, Dirk Vermeir: Integrating Semantic Web Reasoning and Answer Set Programming. Answer Set Programming 2003.
20. Thomas Eiter, Thomas Lukasiewicz, Roman Schindlauer, Hans Tompits: Combining Answer Set Programming with Description Logics for the Semantic Web. KR 2004: 141-151
21. Victor W. Marek, Miroslaw Truszczynski: Stable Models and an Alternative Logic Programming Paradigm. The Logic Programming Paradigm: A 25-Year Perspective, Springer, Berlin, 1999, pp.375-398.
22. Vladimir Lifschitz: Answer Set Programming and Plan Generation. Artificial Intelligence 138(2002) 39-54.