Aspects of distributed and modular ontology reasoning

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2005, Pages 570-575

  Serafini, Luciano ^a   Borgida, Alex ^b   Tamilin, Andrei ^c  

^a ITC IRST   (Italy)

^b RUTGERS UNIVERSITY   (United States)

^c UNIVERSITY OF TRENTO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

DISTRIBUTED REASONINGS; FIXED POINT OPERATOR; KNOWLEDGE REPRESENTATION AND REASONING; MODULAR ONTOLOGIES; REASONERS; SATISFIABILITY; SEMANTIC MAPPING; TABLEAUX ALGORITHM;

KNOWLEDGE REPRESENTATION; SEMANTICS;

ARTIFICIAL INTELLIGENCE;

EID: 84880740288     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (10)

1. F. Baader, D. Calvanese, D. McGuinness, D. Nardi, P.F. Patel-Schneider, editors. The Description Logic Handbook, Cambridge University Press, 2003.
2. A. Borgida and L. Serafini. "Distributed description logics: Assimilating information from peer sources", J. of Data Semantics 1(1), pp.153-184, 2003.
3. P. Bouquet, F. Giunchiglia, F. van Harmelen, L. Serafini, and H. Stuckenschmidt. "Contextualizing ontologies", J. of Web Semantics 1(4), 2004.
4. B. Cuenca Grau, B. Parsia, E. Sirin. "Working with Multiple Ontologies on the Semantic Web", Proc. ISWC'04, LNCS vol.3298, pp.620-634. 2004.
5. C. Ghidini and F. Giunchiglia. "Local model semantics, or contextual reasoning = locality + compatibility", Artificial Intelligence, 127(2):221-259, 2001. (Pubitemid 32331230)
6. C. Ghidini and L. Serafini. "Distributed first order logics", Proc. Frontiers of Combining Systems, pp.121-139, 2000.
7. I. Horrocks, U. Sattler, and S. Tobies. A description logic with transitive and converse roles, role hierarchies and qualifying number restriction. Technical Report 99-08, Technische Universität Dresden, LTCS, 1999.
8. M-C. Rousset. "Small can be beautiful in the Semantic Web", Proc. ISWC'04, LNCS vol.3298, pp.6-16, 2004.
9. H. Stuckenschmidt and M. Klein. "Integrity and change in modular ontologies", IJCAI'03, pp.900-908, 2003.
10. D. Calvanese, G. De Giacomo, M. Lenzerini, R. Rosati. "Logical foundations of peer-to-peer data integration", PODS'04, pp.241-251, 2004.