In the Semantic Web, ontologies provide the vocabulary needed for a meaningful and machine-understandable interpretation of data, and they form the basis for semantic annotation of web resources. As artifacts of knowledge representation, ontologies allow to reason about semantically described resources, and one way of reasoning about semantic annotations is their matchmaking in terms of resource compatibility. The reasoning machinery provided by current Semantic Web language standards like the W3C ontology language OWL, however, lacks various forms of common-sense behaviour due to the monotonicity of the underlying description logic formalism.
In this thesis, we establish an ontology-based matchmaking framework for semantic resource descriptions formulated in OWL and description logics (DLs) that uses various DL inferences to judge about resource compatibility. We incorporate several nonmonotonic extensions to DLs into this matchmaking framework that extend standard DL inference mechanisms by forms of closed-world and default reasoning associated to common-sense features, thus improving the matchmaking behaviour. Moreover, we apply the technique of matchmaking to the problem of service discovery in the Semantic Web with services annotated by OWL descriptions formulated in terms of domain ontologies.
Stephan Grimm
Description Logic Knowledge Representation and Reasoning Matchmaking Nonmonotonic Logic OWL Semantic Web Semantic Web Service Discovery