Formalizing ontology modularization through the notion of interfaces

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

Volumn 5268 LNAI, Issue , 2008, Pages 74-82

  Ensan, Faezeh ^a  

^a UNIVERSITY OF NEW BRUNSWICK   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

KNOWLEDGE MANAGEMENT; MODULAR CONSTRUCTION;

DESCRIPTION LANGUAGES; DEVELOPMENT TIME; MANIPULATION TASK; MODULAR ONTOLOGIES; ONTOLOGY MODULARIZATION;

ONTOLOGY;

EID: 56649112751     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-87696-0_9     Document Type: Conference Paper

References (23)

1. Bao, J., Caragea, D., Honavar, V.: Modular ontologies - a formal investigation of semantics and expressivity. In: Mizoguchi, R., Shi, Z.-Z., Giunchiglia, F. (eds.) ASWC 2006. LNCS, vol. 4185, pp. 616-631. Springer, Heidelberg (2006)
2. Bao, J., Honavar, V.: Ontology language extensions to support collaborative ontology building. In: International Semantic Web Conference (2003) Poster Track
3. Bao, J., Slutzki, G., Honavar, V.: A semantic importing approach to knowledge reuse from multiple ontologies. In: AAAI, pp. 1304-1309 (2007)
4. Borgida, A., Serafini, L.: Distributed description logics: Assimilating information from peer sources. J. Data Semantics 1, 153-184 (2003)
5. Ding, Y., Foo, S.: Ontology research and development. part 1- a review of ontology generation. Journal of Information Science 28(2), 123-136 (2002)
6. Donini, F.M., Lenzerini, M., Nardi, D., Nutt, W., Schaerf, A.: An epistemic operator for description logics. Artif. Intell. 100(1-2), 225-274 (1998)
7. Ensan, F., Du, W.: Towards domain-centric ontology development and maintenance frameworks. In: The Nineteenth International Conference on Software Engineering and Knowledge Engineering (SEKE), pp. 622-627 (2007)
8. Ensan, F., Du, W.: Aspects of inconsistency resolution in modular ontologies. In: Canadian Conference on AI, pp. 84-95 (2008)
9. Ensan, F., Du, W.: Formalizing the role of goals in the development of domain-specific ontological frameworks. In: 41st Hawaii International International Conference on Systems Science (HICSS-41), p. 120 (2008)
10. Fernandez-Lopez, M., Gomez-Perez, A.: Overview and analysis of methodologies for building ontologies. Knowl. Eng. Rev. 17(2), 129-156 (2002)
11. Fernandez-Lopez, M., Gomez-Perez, A., Sierra, J.P., Sierra, A.P.: Building a chemical ontology using methontology and the ontology design environment. IEEE Intelligent Systems 14(1), 37-46 (1999)
12. Ghilardi, S., Lutz, C., Wolter, F.: Did I damage my ontology? a case for conservative extensions in description logics. In: Doherty, P., Mylopoulos, J., Welty, C. (eds.), pp. 187-197. AAAI Press, Menlo Park (2006)
13. Grau, B.C., Horrocks, I., Kazakov, Y., Sattler, U.: Just the right amount: extracting modules from ontologies. In: WWW 2007: Proceedings of the 16th international conference on World Wide Web, pp. 717-726. ACM, New York (2007)
14. Grau, B.C., Horrocks, I., Kazakov, Y., Sattler, U.: A logical framework for modularity of ontologies. In: Veloso, M.M. (ed.) IJCAI 2007, pp. 298-303 (2007)
15. Grau, B.C., Kutz, O.: Modular ontology languages revisited. In: Proceedings of the IJCAI 2007 Workshop on Semantic Web for Collaborative Knowledge Acquisition, Hyderabad, India, January 2007 (2007)
16. Grau, B.C., Parsia, B., Sirin, E., Kalyanpur, A.: Modularity and web ontologies. In: Doherty, P., Mylopoulos, J., Welty, C.A. (eds.) KR 2006, pp. 198-209. AAAI Press, Menlo Park (2006)
17. Horrocks, I., Sattler, U.: Ontology reasoning in the shoq(d) description logic. In: IJCAI, pp. 199-204 (2001)
18. Horrocks. I., Sattler, U.: A tableau decision procedure for hoiq. J. Autom. Reasoning 39(3), 249-276 (2007)
19. Horrocks, I., Sattler, U., Tobies, S.: Practical reasoning for expressive description logics. In: Ganzinger, H., McAllester, D., Voronkov, A. (eds.) LPAR 1999. LNCS, vol. 1705, pp. 161-180. Springer, Heidelberg (1999)
20. Kalyanpur, A., Parsia, B., Sirin, E., Grau, B.C., Hendler, J.: Swoop: A web ontology editing browser. Web Semantics: Science, Services and Agents on the World Wide Web 4, 144-153 (2006)
21. Kutz, O., Lutz, C., Wolter, F., Zakharyasehev, M.: E-connections of abstract description systems. Artif. Intell. 156(1), 1-73 (2004)
22. Stuckenschmidt, H., Klein, M.C.: Integrity and change in modular ontologies. In: IJCAI, pp. 900-908 (2003)
23. Uschold, M., Gruninger, M.: Ontologies: Principles, methods and applications. Knowledge Engineering Review 11, 93-136 (1996)