Package-based description logics

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

Volumn 5445 LNCS, Issue , 2009, Pages 349-371

  Bao, Jie ^a   Voutsadakis, George ^b,c   Slutzki, Giora ^b   Honavar, Vasant ^b  

^a Rensselaer Polytechnic Institute   (United States)

^b Iowa State University   (United States)

^c LAKE SUPERIOR STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DESCRIPTION LOGIC; MONOTONICITY; ONTOLOGY LANGUAGE; SUFFICIENT CONDITIONS;

DATA DESCRIPTION; MODULAR CONSTRUCTION;

ONTOLOGY;

EID: 68749096350     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-01907-4_16     Document Type: Conference Paper

References (25)

1. Bao, J., Caragea, D., Honavar, V.: A distributed tableau algorithm for package-based description logics. In: The 2nd International Workshop On Context Representation And Reasoning (CRR 2006), co-located with ECAI 2006 (2006)
2. 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)
3. Bao, J., Caragea, D., Honavar, V.: On the semantics of linking and importing in modular ontologies. In: Cruz, I., Decker, S., Allemang, D., Preist, C., Schwabe, D., Mika, P., Uschold, M., Aroyo, L.M. (eds.) ISWC 2006. LNCS, vol. 4273, pp. 72-86. Springer, Heidelberg (2006)
4. Bao, J., Caragea, D., Honavar, V.: A tableau-based federated reasoning algorithm for modular ontologies. In: IEEEAVIC/ACM International Conference on Web Intelligence, pp. 404-410. IEEE Press, Los Alamitos (2006)
5. Bao, J., Slutzki, G., Honavar, V.: A semantic importing approach to knowledge reuse from multiple ontologies. In: AAAI, pp. 1304-1309 (2007)
6. Bao, J., Voutsadakis, G., Slutzki, G., Honavar, V.: Package based description logics. Technical report, TR 567, Computer Science, Iowa State University (2008), http://archives.cs.iastate.edu/documents/diskO/00/00/05/67/ index.html
7. Berners-Lee, T., Hendler, J., Lassila, O.: The semantic web. Scientific American 284(5), 34-43 (2001)
8. Borgida, A., Serafini, L.: Distributed description logics: Assimilating information from peer sources. Journal of Data Semantics 1, 153-184 (2003)
9. Bouquet, P., Giunchiglia, F., van Harmelen, F., Serafini, L., Stuckenschmidt, H.: C-OWL: Contextualizing ontologies. In: Fensel, D., Sycara, K.P., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol. 2870, pp. 164-179. Springer, Heidelberg (2003)
10. Catarci, T., Lenzerini, M.: Representing and using interschema knowledge in cooperative information systems. In: CoopIS, pp. 55-62 (1993)
11. Ghidini, C., Giunchiglia, F.: Local models semantics, or contextual reasoning=locality+compatibility. Artificial Intelligence 127(2), 221-259 (2001)
12. Ghilardi, S., Lutz, C., Wolter, F.: Did i damage my ontology? a case for conservative extensions in description logics. In: KR, pp. 187-197 (2006)
13. Grau, B.C., Horrocks, I., Kazakov, Y., Sattler, U.: A logical framework for modularity of ontologies. In: IJCAI, pp. 298-303 (2007)
14. Grau, B.C., Horrocks, I., Kutz, O., Sattler, U.: Will my ontologies fit together? In: Proc. of the 2006 Description Logic Workshop (DL 2006), vol. 189. CRUR (2006), http://ceur-ws.org/
15. Grau, B.C., Kutz, O.: Modular ontology languages revisited. In: Workshop on Semantic Web for Collaborative Knowledge Acquisition (SWeCKa), co-located with IJCAI (2007)
16. Grau, B.C., Parsia, B., Sirin, E.: Working with multiple ontologies on the semantic web. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol. 3298, pp. 620-634. Springer, Heidelberg (2004)
17. Horrocks, I., Sattler, U.: A Tableaux Decision Procedure for SHOTQ. In: IJCAI, pp. 448-453 (2005)
18. 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)
19. Lutz, C., Walther, D., Wolter, F.: Conservative extensions in expressive description logics. In: IJCAI, pp. 453-458 (2007)
20. Pan, J., Serafini, L., Zhao, Y.: Semantic import: An approach for partial ontology reuse. In: 1st International Workshop on Modular Ontologies (WoMo 2006), co-located with ISWC (2006)
21. Polleres, A.: Logic programs with contextually scoped negation. In: WLP, pp. 129-136 (2006)
22. Polleres, A., Feier, C., Harth, A.: Rules with contextually scoped negation. In: Sure, Y., Domingue, J. (eds.) RSWC 2006. LNCS, vol. 4011, pp. 332-347. Springer, Heidelberg (2006)
23. Tobies, S.: The complexity of reasoning with cardinality restrictions and nominals in expressive description logics. J. Artif. Intell. Res. (JAIR) 12, 199-217 (2000)
24. Tobies, S.: Complexity results and practical algorithms for logics in Knowledge Representation. Phd thesis, LuFG Theoretical Computer Science, RWTH-Aachen, Germany (2001)
25. Zimmermann, A., Ruzenat, J.: Three semantics for distributed systems and their relations with alignment composition. In: Cruz, I., Decker, S., Allemang, D., Preist, C., Schwabe, D., Mika, P., Uschold, M., Aroyo, L.M. (eds.) ISWC 2006. LNCS, vol. 4273, pp. 16-29. Springer, Heidelberg (2006)