Extending SROIQ with Constraint Networks and Grounded Circumscription

08/01/2015
by   Arjun Bhardwaj, et al.
0

Developments in semantic web technologies have promoted ontological encoding of knowledge from diverse domains. However, modelling many practical domains requires more expressiveness than what the standard description logics (most prominently SROIQ) support. In this paper, we extend the expressive DL SROIQ with constraint networks (resulting in the logic SROIQc) and grounded circumscription (resulting in the logic GC-SROIQ). Applications of constraint modelling include embedding ontologies with temporal or spatial information, while those of grounded circumscription include defeasible inference and closed world reasoning. We describe the syntax and semantics of the logic formed by including constraint modelling constructs in SROIQ, and provide a sound, complete and terminating tableau algorithm for it. We further provide an intuitive algorithm for Grounded Circumscription in SROIQc, which adheres to the general framework of grounded circumscription, and which can be applied to a whole range of expressive logics for which no such specific algorithm presently exists.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
11/03/2014

GC-SROIQ(C) : Expressive Constraint Modelling and Grounded Circumscription for SROIQ

Developments in semantic web technologies have promoted ontological enco...
research
11/15/2014

Using Description Logics for RDF Constraint Checking and Closed-World Recognition

RDF and Description Logics work in an open-world setting where absence o...
research
11/26/2009

A Semantic Similarity Measure for Expressive Description Logics

A totally semantic measure is presented which is able to calculate a sim...
research
09/06/2023

Using the Shapes Constraint Language for modelling regulatory requirements

Ontologies are traditionally expressed in the Web Ontology Language (OWL...
research
01/21/2022

Scales and Hedges in a Logic with Analogous Semantics

Logics with analogous semantics, such as Fuzzy Logic, have a number of e...
research
03/12/2010

Inductive Logic Programming in Databases: from Datalog to DL+log

In this paper we address an issue that has been brought to the attention...
research
09/19/2016

Extending Unification in EL to Disunification: The Case of Dismatching and Local Disunification

Unification in Description Logics has been introduced as a means to dete...

Please sign up or login with your details

Forgot password? Click here to reset