We report on a recent advance in integrating Rules and OWL. We discuss a recent proposal, known as nominal schemas, which realizes a seamless integration of Datalog rules into the description logic SROIQ which underlies OWL 2 DL. We present extensions of the standardized OWL syntaxes to incorporate nominal schemas, reasoning algorithms, and a first naive implementation. And we argue why this approach goes a long way towards overcoming the present paradigm split
This paper proposes an addition to OWL 2 syntax to incorporate nominal schemas, which is a new descr...
This paper proposes an addition to OWL 2 syntax to incorporate nominal schemas, which is a new descr...
We propose a description-logic style extension of OWL 2 with nominal schemas which can be used like“...
We report on a recent advance in integrating Rules and OWL. We discuss a recent proposal, known as n...
We report on a recent advance in integrating Rules and OWL. We discuss a recent proposal, known as n...
As part of the quest for a unifying logic for the Semantic Web Technology Stack, a central issue is ...
Abstract. We report on a recent advance in integrating Rules and OWL. We discuss a recent proposal, ...
As part of the quest for a unifying logic for the Semantic Web Technology Stack, a central issue is ...
a central issue is finding suitable ways of integrating description logics based on the Web Ontology...
a central issue is finding suitable ways of integrating description logics based on the Web Ontology...
We propose a description logic extending SROIQ (the description logic underlying OWL 2 DL) and at th...
We propose a description logic extending SROIQ (the description logic underlying OWL 2 DL) and at th...
Description Logics – the logics underpinning the Web Ontology Language OWL – and rules are currently...
Description Logics – the logics underpinning the Web Ontology Language OWL – and rules are currently...
This paper proposes an addition to OWL 2 syntax to incorporate nominal schemas, which is a new descr...
This paper proposes an addition to OWL 2 syntax to incorporate nominal schemas, which is a new descr...
This paper proposes an addition to OWL 2 syntax to incorporate nominal schemas, which is a new descr...
We propose a description-logic style extension of OWL 2 with nominal schemas which can be used like“...
We report on a recent advance in integrating Rules and OWL. We discuss a recent proposal, known as n...
We report on a recent advance in integrating Rules and OWL. We discuss a recent proposal, known as n...
As part of the quest for a unifying logic for the Semantic Web Technology Stack, a central issue is ...
Abstract. We report on a recent advance in integrating Rules and OWL. We discuss a recent proposal, ...
As part of the quest for a unifying logic for the Semantic Web Technology Stack, a central issue is ...
a central issue is finding suitable ways of integrating description logics based on the Web Ontology...
a central issue is finding suitable ways of integrating description logics based on the Web Ontology...
We propose a description logic extending SROIQ (the description logic underlying OWL 2 DL) and at th...
We propose a description logic extending SROIQ (the description logic underlying OWL 2 DL) and at th...
Description Logics – the logics underpinning the Web Ontology Language OWL – and rules are currently...
Description Logics – the logics underpinning the Web Ontology Language OWL – and rules are currently...
This paper proposes an addition to OWL 2 syntax to incorporate nominal schemas, which is a new descr...
This paper proposes an addition to OWL 2 syntax to incorporate nominal schemas, which is a new descr...
This paper proposes an addition to OWL 2 syntax to incorporate nominal schemas, which is a new descr...
We propose a description-logic style extension of OWL 2 with nominal schemas which can be used like“...