Bounded Model Reasoning For The Semantic Web MASTER THESIS

  title={Bounded Model Reasoning For The Semantic Web MASTER THESIS},
  author={MASTER THESIS},
  • Published 2015
With increasing success of Semantic Web Technologies, in particular the Web Ontology Language (OWL), these technologies naturally are now and then used in a way they originally were not meant to be used and applied. We are motivated by the observation, that OWL is used to formalize an application domain in a self-contained manner, and thereby might embody some sort of Constraint Satisfaction Problem. We argue, that in these cases the standard semantics does not really comply with the actual… CONTINUE READING