Flexible software architectures for ontology-based information systems

Journal of Applied Logic

Volumn 7, Issue 1, 2009, Pages 75-99

  Wessel, Michael ^a   Möller, Ralf ^a  

^a HAMBURG UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

Description logics; Ontology query languages; Ontology based information systems; Semantic web software architectures

Indexed keywords

DATA DESCRIPTION; INFORMATION SYSTEMS; INFORMATION THEORY; LINGUISTICS; ONTOLOGY; QUERY LANGUAGES; SEMANTICS; SOFTWARE ARCHITECTURE; WORLD WIDE WEB;

CASE STUDIES; DESCRIPTION LOGIC (DL); DESCRIPTION LOGICS; ONTOLOGY QUERY LANGUAGES; ONTOLOGY-BASED INFORMATION SYSTEMS; QUERY ANSWERING; REPRESENTATION LANGUAGES; SEMANTIC WEB SOFTWARE ARCHITECTURES; SOFTWARE TECHNOLOGIES; SYSTEM DESIGNS;

SEMANTIC WEB;

EID: 58549096758     PISSN: 15708683     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jal.2007.07.006     Document Type: Article

References (49)

1. Berners Lee T., Hendler J., and Lassila O. The semantic web. Scientific American 5 (2001)
2. D. Calvanese, G. De Giacomo, M. Lenzerini, D. Nardi, R. Rosati, Description logic framework for information integration, in: Proc. of the 6th Int. Conference on the Principles of Knowledge Representation and Reasoning (KR'98), 1998
3. D. Calvanese, G. De Giacomo, M. Lenzerini, D. Nardi, R. Rosati, Knowledge representation approach to information integration, in: Proc. of AAAI Workshop on AI and Information Integration, 1998
4. Borgida A., Lenzerini M., and Rosati R. Description logics for databases. In: Baader F., Calvanese D., McGuinness D., Nardi D., and Patel-Schneider P.F. (Eds). The Description Logic Handbook: Theory, Implementation, and Applications (2003), Cambridge University Press
5. H. Wache, Vögele, T. Visser, U. Stuckenschmidt, H. Schuster, G. Neumann, S. Hübner, Ontology-based integration of information-A survey of existing approaches, in: Proc. IJCAI-01 Workshop on Ontologies and Information Sharing, 2001
6. M. Wessel, Some practical issues in building a hybrid deductive geographic information system with a DL component, in: Proc. of the 10th Int. Workshop on Knowledge Representation Meets Databases (KRDB'03), 2003
7. M. Wessel, R. Möller, A flexible DL-based architecture for deductive information systems, in: Proc. of the IJCAR-06 Workshop on Empirically Successful Computerized Reasoning (ESCOR), 2006
8. Ferber R. Information Retrieval (2003), dpunkt.verlag
9. Horrocks I., McGuinness D.L., and Welty C.A. Digital libraries and web-based information systems. In: Baader F., Calvanese D., McGuinness D., Nardi D., and Patel-Schneider P.F. (Eds). The Description Logic Handbook: Theory, Implementation, and Applications (2003), Cambridge University Press
10. R. Möller, K. Hidde, R. Joswig, T. Mantay, B. Neumann, Bericht über das Projekt BAND: Benutzeradaptiver Netzinformationsdienst, Tech. Rep. LKI-Memo LKI-M-99/01, Labor für Künstliche Intelligenz, Fachbereich Informatik, Universität Hamburg, 1999
11. Gruber T.R. A translation approach to portable ontologies. Knowledge Acquisition 5 2 (1993)
12. In: Baader F., Calvanese D., McGuinness D., Nardi D., and Patel-Schneider P. (Eds). The Description Logic Handbook-Theory, Implementation and Applications (2003), Cambridge University Press
13. V. Haarslev, R. Möller, RACER system description, in: Proc. of the Int. Joint Conference on Automated Reasoning (IJCAI'01), 2001
14. I. Horrocks, U. Sattler, S. Tobies, Practical reasoning for expressive description logics, in: Proc. of the 6th Int. Conference on Logic for Programming and Automated Reasoning (LPAR'99), 1999
15. R+ extended with concrete domains: A practically motivated approach, in: Proc. of the Int. Joint Conference on Automated Reasoning (IJCAR'01), 2001
16. D. Calvanese, G. De Giacomo, M. Lenzerini, What can knowledge representation do for semi-structured data?, in: Proc. of the 15th National Conference on Artificial Intelligence (AAAI'98), 1998
17. F. Manola, E. Miller, RDF primer, Tech. Rep., World Wide Web Consortium, February 2004
18. D. Brickley, R.V. Guha, Resource description framework (RDF) schema specification 1.0, Tech. Rep., World Wide Web Consortium, March 2000
19. D. Calvanese, G. De Giacomo, D. Lembo, M. Lenzerini, R. Rosati, DL-Lite: Tractable description logics for ontologies, in: Proc. of the 20th National Conference on Artificial Intelligence (AAAI'05), 2005
20. V. Haarslev, R. Möller, M. Wessel, Description logic inference technology: Lessions learned in the trenches, in: Proc. of the Int. Workshop on Description Logics (DL'05), 2005
21. R. Möller, V. Haarslev, M. Wessel, On the scalability of description logic instance retrieval, in: Deutsche Jahrestagung für Künstliche Intelligenz (KI'06), 2006
22. E. Karabaev, C. Lutz, MONA as a DL reasoner, in: Proc. of the Int. Workshop on Description Logics (DL'05), 2004
23. S. Bechhofer, R. Möller, P. Crowther, The DIG description logic interface, in: Proc. of the Int. Workshop on Description Logics (DL'03), 2003
24. A.-Y. Turhan, S. Bechhofer, A. Kaplunova, T. Liebig, M. Luther, R. Möller, O. Noppens, P. Patel-Schneider, B. Suntisrivaraporn, T. Weithöner, DIG 2.0 towards a flexible interface for description logic reasoners, in: Proc. of the Int. Workshop on OWL: Experiences and Directions (OWLED'06), 2006
25. Donini F.M., Lenzerini M., Nardi D., and Schaerf A. AL-Log: Integrating datalog and description logics. Journal of Intelligent Information Systems 10 3 (1998)
26. A.Y. Levy, M.-C. Rousset, CARIN: A representation language combining Horn rules and description logics, in: European Conference on Artificial Intelligence (ECAI'96), 1996
27. I. Horrocks, S. Tessaris, Querying the semantic web: A formal approach, in: Proc. of the 2002 Int. Semantic Web Conference (ISWC'02), 2002
28. B. Glimm, I. Horrocks, Query answering systems in the semantic web, in: Proc. of the KI-04 Workshop on Applications of Description Logics (ADL'04), 2004
29. V. Haarslev, R. Möller, Optimization techniques for retrieving resources described in OWL/RDF documents: First results, in: Ninth Int. Conference on the Principles of Knowledge Representation and Reasoning (KR'04), 2004
30. F. Baader, U. Sattler, Tableau algorithms for description logics, in: Proc. of the 9th Int. Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX'00), 2000
31. A. Acciarri, D. Calvanese, G. De Giacomo, D. Lembo, M. Lenzerini, M. Palmieri, R. Rosati, QuOnto: Querying ontologies, in: Proc. of the 20th National Conference on Artificial Intelligence (AAAI'05), 2005
32. Newell A. The knowledge level. Artificial Intelligence 18 1 (1982) 87-127
33. V. Haarslev, R. Möller, M. Wessel, Querying the semantic web with racer + nRQL, in: Proc. of the Int. Description Logic Workshop (DL'04), 2004
34. V. Haarslev, R. Möller, M. Wessel, A high performance semantic web query answering engine, in: Proc. of the Int. Description Logic Workshop (DL'05), 2005
35. Kutz O., Lutz C., Wolter F., and Zakharyaschev M. E-connections of abstract description systems. Artificial Intelligence 156 1 (2004)
36. McBride B. Jena: A semantic web toolkit. IEEE Internet Computing 6 6 (2002)
37. Clark K. Negation as failure logic and databases. In: Gallaire H., and Minker J. (Eds). Logic and Databases (1978), Plenum
38. Steele Jr. G.L. Common Lisp-The Language. second ed. (1990), Digital Press
39. Gamma E., Helm R., Johnson R., and Vlissides J. Design Patterns (1995), Addison-Wesley
40. Vogel O., Arnold I., Chughtai A., Ihler E., Mehlig U., Neumann T., Völter M., and Zdun U. Software-Architektur-Grundlagen-Konzepte-Praxis. first ed. (2005), Elsevier Spektrum Akademischer Verlag
41. D.A. Randell, Z. Cui, A.G. Cohn, A spatial logic based on regions and connections, in: Proc. of the Int. Conference on Principles of Knowledge Representation and Reasoning (KR'92), 1992
42. Haarslev V., Lutz C., and Möller R. A description logic with concrete domains and role-forming predicates. Journal of Logic and Computation 9 3 (1999)
43. C. Lutz, M. Milicic, A tableau algorithm for DLs with concrete domains and GCIs, in: Proc. of the Int. Workshop on Description Logics (DL'05), 2005
44. RCC-family-First results and unanswered questions, Tech. Rep. FBI-HH-M-324/03, University of Hamburg, Computer Science Department, 2003
45. C. Lutz, F. Wolter, Modal logics of topological relations, in: Proc. of Advances in Modal Logics (AIML'04), 2004
46. M. Wessel, On spatial reasoning with description logics-position paper, in: Proc. of the Int. Workshop on Description Logics (DL'02), 2002
47. R. Möller, M. Wessel, Terminological default reasoning about spatial information: A first step, in: Proc. of the Int. Conference on Spatial Information Theory (COSIT'99), 1999
48. Racer Systems GmbH & Co. KG. RacerPro User's Guide 1.9.0, Tech. Rep. (2005). http://www.racer-systems.com/products/racerpro/users-guide-1-9.pdf
49. Y. Guo, Z. Pan, J. Heflin, An evaluation of knowledge base systems for large OWL datasets, in: Proc. of the Third Int. Semantic Web Conference (ISWC'04), 2004