Ontologies for the semantic Web in CASL

Lecture Notes in Computer Science

Volumn 3423, Issue , 2005, Pages 106-125

  Lüttich, Klaus ^a   Mossakowski, Till ^a   Krieg Brückner, Bernd ^a  

^a UNIVERSITY OF BREMEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CLASSIFICATION (OF INFORMATION); DECISION THEORY; SEMANTICS; WORLD WIDE WEB;

AUTOMATIC DECISION PROCEDURES; SEMANTIC WEB; SUBLANGUAGES; WEB ONTOLOGY LANGUAGE (OWL);

COMPUTER PROGRAMMING LANGUAGES;

EID: 24344472700     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-31959-7_7     Document Type: Conference Paper

References (27)

1. Swoogle search engine. http://swoogle.umbc.edu.
2. H. Andréka, I. Németi, and J. van Benthem. Modal logic and bounded fragments of predicate logic. Journal of Philosophical Logic, 27(3):217-274, 1998.
3. F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. F. Patel-Schneider, editors. The Description Logic Handbook. Cambridge University Press, 2003.
4. T. Berners-Lee, R. Fielding, and L. Masinter. Uniform Resource Identifiers (URI): Generic syntax. IETF Draft Standard (RFC 2396) http://www.ietf.org/rfc/rfc2396.txt, August 1998.
5. T. Berners-Lee, J. Hendler, and O. Lassila. The semantic web. Scientific American, May 2001.
6. Michel Bidoit and Peter D. Mosses. CASL User Manual. LNCS 2900 (IFIP Series). Springer, 2004. With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki.
7. T. Bray, D. Hollander, and A. Layman, editors. Namespaces in XML. W3C Recommendation http://www.w3.org/TR/REC-xml-names/, 14 January 1999.
8. M. Cerioli and J. Meseguer. May I borrow your logic? (transporting logical structures along maps). Theoretical Computer Science, 173:311-347, 1997.
9. CoFI (The Common Framework Initiative). CASL Reference Manual. LNCS 2960 (IFIP Series). Springer, 2004.
10. M. Dean and G. Schreiber, editors. OWL Web Ontology Language - Reference. W3C Recommendation http://www.w3.org/TR/owl-ref/, 10 February 2004.
11. D. Fensel, J. Hendler, H. Liebermann, and W. Wahlster, editors. Spinning the Semantic Web: Bringing the World Wide Web to Its Full Potential. The MIT Press, Cambridge, MA, 2003.
12. M. R. Genesereth and R. E. Fikes. Knowlegde interchange format version 3.0 reference manual. Stanford Logic Group, Report Logic-92-1 http://logic.stanford.edu/sharing/papers/kif.ps, June 1992.
13. J. Goguen and G. Rosu. Institution morphisms. Formal aspects of computing, 13:274-307, 2002.
14. J. A. Goguen and R. M. Burstall. Institutions: Abstract model theory for specification and programming. Journal of the Association for Computing Machinery, 39:95-146, 1992.
15. Predecessor in: LNCS 164, 221-256, 1984.
16. J. A. Goguen and J. Meseguer. Order-sorted algebra I: equational deduction for multiple inheritance, overloading, exceptions and partial operations. Theoretical Computer Science, 105:217-273, 1992.
17. N. Guarino. Personal communication.
18. I. Horrocks. FaCT and iFaCT. In Lambrix et al. [20], pages 133-135.
19. I. Horrocks and P. F. Patel-Schneider. Reducing OWL entailment to description logic satisfiability. In D. Fensel, K. Sycara, and J. Mylopoulos, editors, Proc. of the 2003 International Semantic Web Conference (ISWC 2003), number 2870 in Lecture Notes in Computer Science, pages 17-29. Springer, 2003.
20. I. Horrocks, P. F. Patel-Schneider, and F. van Harmelen. From SHIQ and RDF to OWL: The making of a web ontology language. Journal of Web Semantics, 1(1):7-26, 2003.
21. P. Lambrix, A. Borgida, M. Lenzerini, R. Möller, and P. F. Patel-Schneider, editors. Proceedings of the International Workshop on Description Logics (DL'99), 1999.
22. C. Masolo, S. Borgo, A. Gangemi, N. Guarino, A. Oltramari, and L. Schneider. Wonderweb deliverable D17. The wonderweb library of foundational ontologies and the DOLCE ontology. November 29 2002. Preliminary Report (ver. 2.0, 15-08-2002).
23. T. Mossakowski. The heterogeneous tool set. Available at www.tzi.de/cofi/hets, University of Bremen.
24. P. F. Patel-Schneider, P. Hayes, and I. Horrocks, editors. OWL Web Ontology Language - Semantics and Abstract Syntax. W3C Recommendation http://www.w3.org/TR/owl-semantics/, 10 February 2004.
25. E. Sirin, M. Grove, B. Parsia, and R. Alford. Pellet OWL reasoner. http://www.mindswap.org/2003/pellet/index.shtml, May 2004.
26. S. Tobies. Complexity Results and Practical Algorithms for Logics in Knowledge Representation. PhD thesis, RWTH Aachen, 2001.
27. C. Weidenbach, U. Brahm, T. Hillenbrand, E. Keen, C. Theobalt, and D. Topic. SPASS version 2.0. In Andrei Voronkov, editor, Automated Deduction - CADE-18, volume 2392 of Lecture Notes in Computer Science, pages 275-279. Springer-Verlag, July 27-30 2002.