AN API FOR DISTRIBUTED REASONING ON NETWORKED ONTOLOGIES WITH ALIGNMENTS

Chan Le Duc, Myriam Lamolle, Antoine Zimmermann

Abstract

In this paper, we describe design and implementation of a Java interface for distributed reasoning on networked ontologies with alignments. This API is built over the standard OWLlink interface which is a communication protocol between OWL2 components. It is compatible with usual reasoners based on OWL such as Pellet and FaCT++ in centralized contexts. In this API, we have implemented an optimized distributed reasoning algorithm which, on the one hand requires specific primitives to manipulate OWL ontologies and alignments between them, and on the other hand, provides services to check local and global consistency of networked ontologies with alignements. The main feature of this API is that it can be easily integrated in various editors and tools dedicated to ontology manipulation.

References

  1. Bechhofer, S., Moller, R., and Crowther, P. (2003). The DIG protocol. In OWLED.
  2. Description Logic Interface. In Calvanese, D., editor, ing of the 2nd European Semantic Web Conference, pages 361-376.
  3. Sirin, E., Parsia, B., Grau, B. C., Kalyanpur, A., and Katz, Y. (2007). Pellet: a pratical owl-dl reasoner. Journal of Web Semantics, 5(2):51-53.
  4. Tsarkov, D. and Horrocks, I. (2006). FaCT++ Description Logic Reasoner: System Description. In Lecture Notes in Artificial Intelligence, S., editor, Proceeding of the International Joint Conference on Automated Reasoning.
  5. Turhan, A.-Y., Bechhofer, S., Kaplunova, A., Liebig, T., Luther, M., Noppens, O., Patel-Schneider, P., Suntisrivaraporn, B., and Weithner, T. (2006). DIG 2.0 : Towards a Flexible Interface for Description Logic Reasoners. In Proceedings of the OWL Experiences and Directions Workshop (OWLED06) at the ISWC06, Athens, Georgia, USA.
  6. Wessel, M. and Luther, M. (2009). OWLlink: HTTP/Functional Binding, Version 1.0. Technical report, W3C.
  7. Zimmermann, A. (2007). Integrated distributed description logics. In Proceedings of the 20th International Workshop on Description Logics (DL 2007), pages 507- 514.
  8. Zimmermann, A. and Le Duc, C. (2008). Reasoning with a network of aligned ontologies. In Proceedings of the 2nd International Conference on Web Reasoning and system rules, LNCS 5341, pages 43-75.
Download


Paper Citation


in Harvard Style

Le Duc C., Lamolle M. and Zimmermann A. (2010). AN API FOR DISTRIBUTED REASONING ON NETWORKED ONTOLOGIES WITH ALIGNMENTS . In Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2010) ISBN 978-989-8425-29-4, pages 295-304. DOI: 10.5220/0003101002950304


in Bibtex Style

@conference{keod10,
author={Chan Le Duc and Myriam Lamolle and Antoine Zimmermann},
title={AN API FOR DISTRIBUTED REASONING ON NETWORKED ONTOLOGIES WITH ALIGNMENTS},
booktitle={Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2010)},
year={2010},
pages={295-304},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003101002950304},
isbn={978-989-8425-29-4},
}


in EndNote Style

TY - CONF
JO - Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2010)
TI - AN API FOR DISTRIBUTED REASONING ON NETWORKED ONTOLOGIES WITH ALIGNMENTS
SN - 978-989-8425-29-4
AU - Le Duc C.
AU - Lamolle M.
AU - Zimmermann A.
PY - 2010
SP - 295
EP - 304
DO - 10.5220/0003101002950304