International Semantic Web Conference

ISWC 2005: The Semantic Web – ISWC 2005 pp 338-352

On Logical Consequence for Collections of OWL Documents

  • Yuanbo Guo
  • Jeff Heflin
Conference paper

DOI: 10.1007/11574620_26

Volume 3729 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Guo Y., Heflin J. (2005) On Logical Consequence for Collections of OWL Documents. In: Gil Y., Motta E., Benjamins V.R., Musen M.A. (eds) The Semantic Web – ISWC 2005. ISWC 2005. Lecture Notes in Computer Science, vol 3729. Springer, Berlin, Heidelberg


In this paper, we investigate the (in)dependence among OWL documents with respect to the logical consequence when they are combined, in particular the inference of concept and role assertions about individuals. On the one hand, we present a systematic approach to identifying those documents that affect the inference of a given fact. On the other hand, we consider ways for fast detection of independence. First, we demonstrate several special cases in which two documents are independent of each other. Secondly, we introduce an algorithm for checking the independence in the general case. In addition, we describe two applications in which the above results have allowed us to develop novel approaches to overcome some difficulties in reasoning with large scale OWL data. Both applications demonstrate the usefulness of this work for improving the scalability of a practical Semantic Web system that relies on the reasoning about individuals.

Download to read the full conference paper text

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Yuanbo Guo
    • 1
  • Jeff Heflin
    • 1
  1. 1.Computer Science & Engineering Dept.Lehigh UniversityBethlehemUSA