A realistic architecture for the semantic web

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

Volumn 3791 LNCS, Issue , 2005, Pages 17-29

  Kifer, Michael ^a   De Bruijn, Jos ^b,c   Boley, Harold ^d   Fensel, Dieter ^b,c  

^a Stony Brook University   (United States)

^b UNIVERSITY OF INNSBRUCK   (Austria)

^c NATIONAL UNIVERSITY OF IRELAND   (Ireland)

^d NATIONAL RESEARCH COUNCIL CANADA   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

REALISTIC ARCHITECTURES; RULE-BASED LANGUAGES; SEMANTIC WEB ARCHITECTURE; STACKS OF LANGUAGES;

COMPUTATIONAL METHODS; COMPUTER PROGRAMMING LANGUAGES; INFORMATION TECHNOLOGY; INTEROPERABILITY; LOGIC PROGRAMMING; SEMANTICS; WORLD WIDE WEB;

COMPUTER ARCHITECTURE;

EID: 33646832882     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11580072_3     Document Type: Conference Paper

References (37)

1. +05] Jürgen Angele, Harold Boley, Jos de Bruijn, Dieter Fensel, Pascal Hitzler, Michael Kifer, Reto Krummenacher, Holger Lausen, Axel Polleres, and Rudi Studer. Web rule language (wrl), Juny 2005. Technical Report.
2. [ABW88] K. R. Apt, H. A. Blair, and A. Walker. Foundations of Deductive Databases and Logic Programming, chapter Towards a theory of declarative knowledge, pages 89-148. Morgan Kaufmann Publishers, Los Altos, CA, 1988.
3. +05] S. Battle, A. Bernstein, H. Boley, B. Grosof, M. Gruninger, R. Hull, M. Kifer, D. Martin, S. McIlraith, D. McGuinness, J. Su, and S. Tabet. Swsl-rules: A rule language for the semantic web, July 2005. Technical Report.
4. [BL04] T. Berners-Lee. Primer: Getting into RDF & Semantic Web using N3, 2004. http://www.w3.org/2000/10/swap/Primer.html.
5. [Bol96] Harold Boley. Knowledge Bases in the World Wide Web: A Challenge for Logic Programming. In Paul Tarau, Andrew Davison, Koen De Bosschere, and Manuel Hermenegildo, editors, Proc. JICSLP'96 Post-Conference Workshop on Logic Programming Tools for INTERNET Applications, pages 139-147. COMPULOG-NET, Bonn, Sept. 1996.
6. Revised versions in: International Workshop "Intelligent Information Integration", KI-97, Freiburg, Sept. 1997;
7. DFKI Technical Memo TM-96-02, Oct. 1997.
8. [BTW01] Harold Boley, Said Tabet, and Gerd Wagner. Design Rationale of RuleML: A Markup Language for Semantic Web Rules. In Proc. Semantic Web Working Symposium (SWWS'01), pages 381-401. Stanford University, July/August 2001.
9. [CKW93] W. Chen, M. Kifer, and D.S. Warren. HiLog: A foundation for higher-order logic programming. 15(3): 187-230, February 1993.
10. [Cla78] K. L. Clark. Logic and Data Bases, chapter Negation as Failure, pages 293-322. Plenum Press, NY, USA, 1978.
11. [DBSA98] Stefan Decker, Dan Brickley, Janne Saarela, and Jürgen Angele. A query and inference service for RDF. In QL'98 - The Query Languages Workshop, W3C Workshop, 1998.
12. [DLNS98] F.M. Donini, M. Lenzerini, D. Nardi, and A. Schaerf. AL-log: Integrating datalog and description logics. Journal of Intelligent Information Systems, 10(3):227-252, 1998.
13. [DS04] Mike Dean and Guus Schreiber, editors. OWL Web Ontology Language Reference. 2004. W3C Recommendation 10 February 2004.
14. [ELST04] Thomas Eiter, Thomas Lukasiewicz, Roman Schindlauer, and Hans Tompits. Combining answer set programming with description logics for the semantic web. In Proc. of the International Conference of Knowledge Representation and Reasoning (KR'04), 2004.
15. [FDES98] Dieter Fensel, Stefan Decker, Michael Erdmann, and Rudi Studer. Ontobroker: The very high idea. In Proceedings of the 11th International FLAIRS Conference (FLAIRS-98), pages 131-135, Sanibel Island, Florida, USA, 1998.
16. [GHVD03] B.N. Grosof, I. Horrocks, R. Volz, and S. Decker. Description logic programs: Combining logic programs with description logic. In 12th International Conference on the World Wide Web (WWW-2003), May 2003.
17. [GL88] Michael Gelfond and Vladimir Lifschitz. The stable model semantics for logic programming. In Robert A. Kowalski and Kenneth Bowen, editors, Proceedings of the Fifth International Conference on Logic Programming, pages 1070-1080, Cambridge, Massachusetts, 1988. The MIT Press.
18. [GL91] M. Gelfond and V. Lifschitz. Classical negation in logic programs and disjunctive databases. New Generation Computing, 9(3/4):365-386, 1991.
19. [Gro99] B.N. Grosof. A courteous compiler from generalized courteous logic programs to ordinary logic programs. Technical Report RC 21472, IBM, July 1999.
20. [GRS91] Allen Van Gelder, Kenneth Ross, and John S. Schlipf. The well-founded semantics for general logic programs. Journal of the ACM, 38(3):620-650, 1991.
21. [Hay04] Patrick Hayes. RDF semantics. Technical report, W3C, 2004. W3C Recommendation 10 February 2004. http://www.w3.org/TR/rdf-mt/.
22. [HHL03] J. Heflin, J. Hendler, and S Luke. SHOE: A Blueprint for the Semantic Web. MIT Press, Cambridge, MA, 2003.
23. [HPPSH05] Ian Horrocks, Bijan Parsia, Peter Patel-Schneider, and James Hendler. Semantic web architecture: Stack or two towers? In Third Workshop on Principles and Practice of Semantic Web Reasoning, Dagstuhl, Germany, September 2005.
24. +04] Ian Horrocks, Peter F. Patel-Schneider, Harold Boley, Said Tabet, Benjamin Grosof, and Mike Dean. SWRL: A semantic web rule language combining OWL and RuleML. Member submission 21 may 2004, W3C, 2004. Available from http://www.w3.org/Submission/SWRL//.
25. [HPSvH03] Ian Horrocks, Peter F. Patel-Schneider, and Frank van Harmelen. From SHIQ and RDF to OWL: The making of a web ontology language. Journal of Web Semantics, 1(1):7-26, 2003.
26. [Kif05] M. Kifer. Nonmonotonic reasoning in FLORA-2. In 2005 Intl. Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR '05), Diamante, Italy, September 2005.
27. [KLW95] M. Kifer, G. Lausen, and J. Wu. Logical foundations of object-oriented and frame-based languages. Journal of the ACM, 42:741-843, July 1995.
28. [Llo87] John W. Lloyd. Foundations of Logic Programming. Springer-Verlag, Berlin, Heidelberg, New York, 1987.
29. [LS99] Ora Lassila and Ralph R. Swick. Resource Description Framework (RDF) Model and Syntax Specification. Recommendation REC-rdf-syntax-19990222, W3C, February 1999.
30. [MS98] Massimo Marchiori and Janne Saarela. Query + metadata + logic = metalog. In QL'98 - The Query Languages Workshop, W3C Workshop, 1998.
31. [MW88] D. Maier and D.S. Warren. Computing with Logic: Logic Programming with Prolog. Benjamin-Cummings, Menlo Park, CA, 1988.
32. [Ont] Ontoprise, GmbH. Ontobroker. http://www.ontoprise.com/.
33. [SD02] Michael Sintek and Stefan Decker. TRIPLE - A Query, Inference, and Transformation Language for the Semantic Web. In 1st International Semantic Web Conference (ISWC2002). Sardinia, Italy, June 2002.
34. [Sho87] Y. Shoham. Nonmonotonic logics: meaning and utility. In Proc. 10th International Joint Conference on Artificial Intelligence, pages 388-393. Morgan Kaufmann, 1987.
35. [YK02] G. Yang and M. Kifer. Well-founded optimism: Inheritance in frame-based knowledge bases. In Intl. Conference on Ontologies, DataBases, and Applications of Semantics for Large Scale Information Systems (ODBASE), October 2002.
36. [YK03] Guizhen Yang and Michael Kifer. Reasoning about Anonymous Resources and Meta Statements on the Semantic Web. In Stefano Spaccapietra, Salvatore T. March, and Karl Aberer, editors, J. Data Semantics I, volume 2800 of Lecture Notes in Computer Science, pages 69-97. Springer, 2003.
37. [YKZ03] G. Yang, M. Kifer, and C. Zhao. FLORA-2: A rule-based knowledge representation and inference infrastructure for the Semantic Web. In International Conference on Ontologies, Databases and Applications of Semantics (ODBASE-2003), November 2003. The system is available at http://flora. sourceforge.net.