A tableau-based federated reasoning algorithm for modular ontologies

Proceedings - 2006 IEEE/WIC/ACM International Conference on Web Intelligence (WI 2006 Main Conference Proceedings), WI'06

Volumn , Issue , 2006, Pages 404-410

  Bao, Jie ^a   Caragea, Dorna ^b   Honavar, Vasant ^a  

^a Iowa State University   (United States)

^b Sunflower Networking Group   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; CASE BASED REASONING;

PACKAGE-BASED DESCRIPTION LOGICS (P-DL); TABLEAUBASED REASONING ALGORITHM;

ONTOLOGY;

EID: 42549169350     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WI.2006.28     Document Type: Conference Paper

References (11)

1. F. Baader and W. Nutt. Basic description logics. In F. Baader, D. Calvanese, and D. M. et.al., editors, The Description Logic Handbook: Theory, Implementation, and Applications, pages 43-95. Cambridge University Press, 2003.
2. F. Baader and U. Sattler. An overview of tableau algorithms for description logics. Studia Logica, 69(1):5-40, 2001.
3. J. Bao, D. Caragea, and V. Honavar. A distributed tableau algorithm for package-based description logics. In the 2nd International Workshop On Context Representation And Reasoning (CRR 2006), co-located with ECAI2006. 2006.
4. J. Bao, D. Caragea, and V. Honavar. Modular ontologies - a formal investigation of semantics and expressivity. In R. Mizoguchi, Z. Shi, and F. Giunchiglia (Eds.): Asian Semantic Web Conference 2006, LNCS 4185, pages 616-631, 2006.
5. J. Bao, D. Caragea, and V. Honavar. Towards collaborative environments for ontology construction and sharing. In International Symposium on Collaborative Technologies and Systems (CTS 2006), pages 99-108. IEEE Press, 2006.
6. A. Borgida and L. Serafini. Distributed description logics: Directed domain correspondences in federated information sources. In CoopIS, pages 36-53, 2002.
7. B. C. Grau, B. Parsia, and E. Sirin. Tableau algorithms for econnections of description logics. Technical report, University of Maryland Institute for Advanced Computer Studies (UMIACS), TR 2004-72, 2004.
8. B.C. Grau, B. Parsia, and E. Sirin. Working with multiple ontologies on the semantic web. In International Semantic Web Conference, pages 620-634, 2004.
9. O. Kutz, C. Lutz, F. Wolter, and M. Zakharyaschev. E-connections of abstract description systems. Artif. Intell., 156(1): 1-73, 2004.
10. L. Serafini, A. Borgida, and A. Tamilin. Aspects of distributed and modular ontology reasoning. In IJCAI, pages 570-575, 2005.
11. L. Serafini and A. Tamilin. Local tableaux for reasoning in distributed description logics. In Description Logics Workshop 2004, CEUR-WS Vol 104, 2004.