Local tableaux for reasoning in distributed description logics

CEUR Workshop Proceedings

Volumn 104, Issue , 2004, Pages

  Serafini, Luciano ^a   Tamilin, Andrei ^b  

^a ITC IRST   (Italy)

^b UNIVERSITY OF TRENTO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LANGUAGES; KNOWLEDGE REPRESENTATION;

BASED REASONINGS; DESCRIPTION LOGIC; DISTRIBUTED DESCRIPTION LOGIC; KNOWLEDGE REPRESENTATION AND REASONING; PROTOTYPE IMPLEMENTATIONS; REASONING MECHANISM; STATE OF THE ART; TABLEAUX REASONERS;

DATA DESCRIPTION;

EID: 85041864046     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (15)

1. A.Borgida and L.Serafini. Distributed description logics: Assimilating information from peer sources. Journal of Data Semantics, pages 153–184, 2003.
2. C.Ghidini and F.Giunchiglia. Local model semantics, or contextual reasoning = locality + compatibility. Artificial Intelligence, 127(2):221–259, 2001.
3. C.Ghidini and L.Serafini. Distributed first order logics. In Proc. of the Frontiers of Combining Systems, pages 121–139, 2000.
4. F.Giunchiglia. Contextual reasoning. Epistemologia, special issue on I Linguaggi e le Macchine, XVI:345–364, 1993.
5. F.Giunchiglia and L.Serafini. Multilanguage hierarchical logics (or: How we can do without modal logics). Artificial Intelligence, 65(1):29–70, 1994.
6. G.Antoniou and F. van Harmelen. Web ontology language: Owl. In Handbook on Ontologies in Information Systems, pages 67–92, 2003.
7. I.Horrocks and P.F.Patel-Schneider. FaCT and DLP. In Proc. of the Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX’98), pages 27–30, 1998.
8. I.Horrocks, P.F.Patel-Schneider, and F. van Harmelen. From SHIQ and RDF to OWL: The making of a web ontology language. Journal of Web Semantics, 1(1):7–26, 2003.
9. I.Horrocks, U.Sattler, and S.Tobies. Practical reasoning for very expressive description logics. Logic Journal of IGPL, 8(3):239–263, 2000.
10. L.Serafini and A.Tamilin. Distributed reasoning services for multiple ontologies. Technical Report DIT-04-029, University of Trento, 2004.
11. L.Serafini and F.Roelofsen. Satisfiability for propositional contexts. In Proc. of the Principles of Knowledge Representation and Reasoning (KR2004), 2004. Accepted for publication.
12. M.Bonifacio, P.Bouquet, and P.Traverso. Enabling distributed knowledge management. Managerial and technological implications. Novatica and Infor-matik/Informatique, III(1), 2002.
13. M.Ehrig, Ch.Tempich, J.Broekstra, F. van Harmelen, M.Sabou, R.Siebes, S.Staab, and H.Stuckenschmidt. A metadata model for semantics-based p2p systems. In Proc. of the 2nd Konferenz Professionelles Wissensmanagement, 2003.
14. P.Bouquet, F.Giunchiglia, F. van Harmelen, L.Serafini, and H.Stuckenschmidt. C-owl: Contextualizing ontologies. In Proc. of the 2d International Semantic Web Conference (ISWC2003), pages 164–179, 2003.
15. V.Haarslev and R.Moller. Racer system description. In Proc. of the International Joint Conference on Automated Reasoning (IJCAR2001), pages 701–706, 2001.