A Set-Theoretical Representation For OWL 2 Profiles

Semantic web is a vision of the web implementation in which information carries an explicit meaning, so it can be automatically understood, processed, and integrated by machines. Humans are capable of using the web to carry out tasks such as reserving a library book, searching for the lowest price for a smartphone, etc. However, in general machines can not accomplish such tasks without human guidance, as web pages promote presentation, rather than content, so they can be easily interpreted by people but not by machines. Currently, the main languages to represent knowledge in the semantic web are the Resource Description Framework (RDF) and the OWL 2 Ontology Web Language. This book introduces a new family of OWL 2 profiles based on a four level stratified syllogistic fragment of the Set Theory that are characterized by an efficient decision procedure without sacrificing expressiveness together with a Rule Based System naturaly integrated in the language. To demonstrate the expressiveness of these profiles, an application on ancient ceramics cataloguing and classification is provided.