Reasoning and change management in modular ontologies

Data and Knowledge Engineering

Volumn 63, Issue 2, 2007, Pages 200-223

  Stuckenschmidt, Heiner ^a   Klein, Michel ^b  

^a UNIVERSITY OF MANNHEIM   (Germany)

^b VU UNIVERSITY AMSTERDAM   (Netherlands)

Author keywords

Change management; Distributed Knowledge Representation; Ontologies; Reasoning

Indexed keywords

CHANGE MANAGEMENT; DISTRIBUTED DESCRIPTION LOGICS; DISTRIBUTED KNOWLEDGE REPRESENTATION;

HEURISTIC METHODS; KNOWLEDGE ACQUISITION; KNOWLEDGE REPRESENTATION; SOFTWARE ENGINEERING;

ONTOLOGY;

EID: 34447289176     PISSN: 0169023X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.datak.2007.02.001     Document Type: Article

References (43)

1. Bechhofer S., Horrocks I., Goble C., and Stevens R. OilEd: a reason-able ontology editor for the semantic web. In: Baader F., Brewka G., and Eiter T. (Eds). KI 2001: Advances in Artificial Intelligence (2001), Springer 396-408
2. N. Noy, R. Fergerson, M. Musen, The knowledge model of protege-2000: combining interoperability and flexibility (2000).
3. Horrocks I. The FaCT system. In: de Swart H. (Ed). Automated Reasoning with Analytic Tableaux and Related Methods: International Conference Tableaux'98. Lecture Notes in Artificial Intelligence vol. 1397 (1998), Springer-Verlag, Berlin 307-312
4. V. Haarslev, R. Moller, Description of the RACER system and its applications, in: Proceedings of the Description Logics Workshop DL-2001, Stanford, CA, 2001, pp. 132-142.
5. Broekstra J., Kampman A., and van Harmelen F. Sesame: a generic architecture for storing and querying RDF and RDF schema. The Semantic Web - ISWC 2002. Lecture Notes in Computer Science vol. 2342 (2002), Springer 54-68
6. Farmer W., Guttman J., and Thayer F. Little theories. In: Kapur D. (Ed). Proceedings of the Eleventh International Conference on Automated Deduction. Lecture Notes in Computer Science vol. 607 (1992), Springer-Verlag 567-581
7. P. Clark, J. Thompson, K. Barker, B. Porter, V. Chaudhri, A. Rodriguez, J. Thomere, S. Mishra, Y. Gil, P. Hayes, T. Reichherzer, Knowledge entry as the graphical assembly of components, in: Proceedings of the 1st International Conference on Knowledge Capture (K-Cap'01), 2001.
8. E. Amir, S. McIlraith, Partition-based logical reasoning, in: 7th International Conference on Principles of Knowledge Representation and Reasoning (KR'2000), 2000.
9. McIlraith S., and Amir E. Theorem proving with structured theories. In: Nebel B. (Ed). Proceedings of IJCAI'01 (2001), Morgan Kaufmann, San Mateo 624-634
10. Lauritzen S.L., and Spiegelhalter D.J. Local computations with probabilities on graphical structures and their application to expert systems. Readings in Uncertain Reasoning (1990), Morgan Kaufmann Publishers, San Francisco, CA, USA 415-448
11. A. Rector, Modularisation of domain ontologies implemented in description logics and related formalisms including OWL, in: Proceedings of the 16th International FLAIRS Conference, AAAI, 2003.
12. M. Buchheit, F.D.W. Nutt, A. Schaerf, Terminological systems revisited: Terminology = schema + views, in: Proceedings of the 12th National Conference on Artificial Intelligence (AAAI-94), 1994.
13. Giunchiglia F., and Ghidini C. Local models semantics, or contextual reasoning = locality + compatibility. Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98) (1998), Morgan Kaufmann 282-289
14. Borgida A., and Serafini L. Distributed description logics: directed domain correspondences in federated information sources. In: Meersman R., and Tari Z. (Eds). On the Move to Meaningful Internet Systems 2002: CoopIS, Doa and ODBase. LNCS vol. 2519 (2002), Springer-Verlag 36-53
15. D. Brickley, R. Guha, A. Layman, Resource description framework (RDF) schema specification, Working draft, W3C, August 1998. .
16. M. Dean, D. Connolly, F. van Harmelen, J. Hendler, I. Horrocks, D. McGuinness, P. Patel-Schneider, L. Stein, Web ontology language (owl) reference version 1.0, Working draft, W3C, November 2002. .
17. Bouquet P., Giunchiglia F., van Harmelen F., Serafini L., and Stuckenschmidt H. Contextualizing ontologies. Journal of Web Semantics: Science, Services and Agents on the World Wide Web 1 4 (2004) 325-343
18. R. Volz, A. Mdche, D. Oberle, Towards a modularized semantic web, in: Proceedings of the ECAI'02 Workshop on Ontologies and Semantic Interoperability, 2002.
19. R. Volz, D. Oberle, R. Studer, Views for light-weight web ontologies, in: Proceedings of the ACM Symposium on Applied Computing SAC 2003, 2003.
20. B. Cuenca-Grau, B. Parsia, E. Sirin, A. Kalyanpur, Modularity and web ontologies, in: P. Doherty, J. Mylopoulos, C. Welty (Eds.), Proceedings of the International Conference on Knowledge Representation and Reasoning KR-06, 2006, pp. 198-209.
21. J. Bao, D. Caragea, V. Honavar, On the semantics of linking and importing in modular ontologies, in: I. Cruz, S. Decker, D. Allemang, C. Preist, D. Schwabe, P. Mika, M. Uschold, L. Aroyo (Eds.), Proceedings of the International Semantic Web Conference, ISWC-06, Athens, GA, 2006, Lecture Notes in Computer Science, vol. 4273, pp. 72-86.
22. Borgida A. On the relative expressiveness of description logics and predicate logics. Artificial Intelligence 82 1-2 (1996) 353-367
23. D. Tsarkov, A. Riazanov, S. Bechhofer, I. Horrocks, Using vampire to reason with owl, in: Proceedings of the International Semantic Web Conference, 2004, pp. 471-485.
24. H. Stuckenschmidt, F. van Harmelen, Information sharing on the semantic Web series, in: Advanced Information and Knowledge Processing, Springer-Verlag, Berlin, Heidelberg, 2005, XIX, 276 p., ISBN: 978-3-540-20594-4.
25. J. Gonzalez-Castillo, D. Trastour, C. Bartolini, Description logics for matchmaking of services, Technical Report HPL-2001-265, HP Laboratories Bristol, 2001.
26. Li L., and Horrocks I. A software framework for matchmaking based on semantic web technology. International Journal of Electronic Commerce 8 4 (2004) 39-60
27. Bechhofer S., Horrocks I., and Turi D. The owl instance store: System description. Proceedings CADE-20. Lecture Notes in Computer Science (2005), Springer-Verlag
28. Horrocks I., Sattler U., and Tobies S. Reasoning with individuals for the description logic SHIQ. Proceedings of the 17th International Conference on Automated Deduction (CADE-17). Lecture Notes in Computer Science (2000), Springer-Verlag
29. Borgida A., and Serafini L. Distributed description logics: assimilating information from peer sources. Journal of Data Semantics 1 (2003) 153-184
30. L. Serafini, A. Borgida, A. Tamilin, Aspects of distributed and modular ontology reasoning, in: Proceedings of the International Joint Conference on Artificial Intelligence - IJCAI-05, Edinburgh, Scotland, 2005.
31. In: Baader F., Calvanese D., McGuiness D., Nardi D., and Patel-Schneider P. (Eds). The Description Logic Handbook - Theory, Implementation and Applications (2003), Cambridge University Press
32. H. Stuckenschmidt, M. Klein, Integrity and change in modular ontologies, in: Proceedings of the 18th International Joint Conference on Artificial Intelligence, Acapulco, Mexico, 2003.
33. S. Tobies, Complexity results and practical algorithms for logics in knowledge representation, PhD, thesis, LuFG Theoretical Computer Science, RWTH-Aachen, 2001.
34. Serafini L., and Tamilin A. DRAGO: distributed reasoning architecture for the semantic web. Proceedings of the Second European Semantic Web Conference (ESWC'05) (2005), Springer-Verlag
35. Banerjee J., Kim W., Kim H.-J., and Korth H.F. Semantics and implementation of schema evolution in object-oriented databases. SIGMOD Record (Proc. Conf. on Management of Data) 16 3 (1987) 311-322
36. M. Klein, Change management for distributed ontologies, Ph.D. thesis, Vrije Universiteit Amsterdam, August 2004.
37. Franconi E., Grandi F., and Mandreoli F. A sematic approach to schema evolution and versioning in object-oriented databases. Proceeding of CL 2000. Lecture Notes in Artificial Intelligence vol. 1861 (2000), Springer-Verlag 1048-1062
38. M. Klein, D. Fensel, A. Kiryakov, D. Ognyanov, Ontology versioning and change detection on the web, in: 13th International Conference on Knowledge Engineering and Knowledge Management (EKAW02), Sigüenza, Spain, 2002, LNCS, vol. 2473, p. 197ff.
39. A. Gangemi, N. Guarino, C. Masolo, A. Oltramari, L. Schneider, Sweetening ontologies with DOLCE, in: 13th International Conference on Knowledge Engineering and Knowledge Management (EKAW02), Sigüenza, Spain, 2002, Lecture Notes in Computer Science, vol. 2473, p. 166ff.
40. C. Masolo, S. Borgo, A. Gangemi, N. Guarino, A. Oltramari, Ontology library (final), Deliverable D18, EU/IST Project WonderWeb, December 2003.
41. R. Volz, D. Oberle, S. Staab, R. Studer, Ontolift prototype, Deliverable D11, EU/IST Project WonderWeb, 2002.
42. L. Serafini, H. Stuckenschmidt, H. Wache, A formal investigation of mapping languages for terminological knowledge, in: Proceedings of the 19th International Joint Conference on Artificial Intelligence - IJCAI05, Edingurgh, UK, 2005.
43. C. Ghidini, L. Serafini, Distributed first order logic - revised semantics, Technical Report, ITC-irst, January 2005.