Abstract. We present a tableau algorithm for the description logic. ALCOV. This description logic is obtained by extending the description.
Nominal schema is an expressive description logic (DL) construct that was proposed in recent efforts to integrate DLs and (logic programming) rule-based ...
Nominal schema is an expressive description logic (DL) construct that was pro- posed in recent efforts to integrate DLs and (logic programming) rule-based.
A Tableau Algorithm for Description Logics with Nominal Schema
corescholar.libraries.wright.edu › cse
Sep 10, 2012 · The tableau algorithm provides a basis to implement a delayed grounding strategy which was not facilitated by earlier versions of decision ...
This paper presents an algorithm to reason with the description logic fragment $n$, a fragment that extends $\mathcal{EL}^{++}$ with nominal schemas, ...
Nov 21, 2024 · Nominal schema is an expressive description logic (DL) construct that was proposed in recent efforts to integrate DLs and (logic ...
Nominal schema is an expressive description logic (DL) construct that was proposed in recent efforts to integrate DLs and (logic programming) rule-based ...
A Tableau Algorithm for Description Logics with Nominal Schema. Adila Krisnadhi, Pascal Hitzler. A Tableau Algorithm for Description Logics with Nominal Schema.
Fingerprint. Dive into the research topics of 'A tableau algorithm for description logics with nominal schema'. Together they form a unique fingerprint.
The purpose of this article is to give an impression of the work on tableau algorithms done in the DL community, with an emphasis on features that, though they ...
Missing: Nominal | Show results with:Nominal