Probabilistic Information Integration and Retrieval in the Semantic Web.

The Semantic Web (SW) has been envisioned to enable software tools or Web Services, respectively, to process information provided on the Web automatically. For this purpose, languages for representing the semantics of data by means of ontologies have been proposed such as RDF(S) and OWL. While the semantics of RDF(S) requires a non-standard model-theory that goes beyond first order logics, OWL is intended to model subsets of first order logics. OWL consists of three variants that are layered on each other. The less expressive variants OWL-Light and OWL-DL correspond to the Description Logics $\mathcal{SHIF}$(D) and $\mathcal{SHOIN}$(D) [1], respectively, and thus to subsets of First Order Logics [2]. [ABSTRACT FROM AUTHOR]