Wyniki wyszukiwania - BazTech

Ograniczanie wyników

1 Fundamenta Informaticae

1 2021

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: consistency problems

Sortuj według:

Ogranicz wyniki do:

An Improved Set-based Reasoner for the Description Logic 𝒟ℒD4,×

Cantone Domenico, Nicolosi-Asmundo Marianna, Santamaria Daniele Francesco

Fundamenta Informaticae

2021

Vol. 178, nr 4

315--346

We present a KE-tableau-based implementation of a reasoner for a decidable fragment of (stratified) set theory expressing the description logic 𝒟ℒ〈4LQSR,×〉(D ) (𝒟 ℒD 4,×, for short). Our application solves the main TBox and ABox reasoning problems for 𝒟 ℒ D 4,×. In particular, it solves the consistency and the classification problems for 𝒟 ℒD 4,× -knowledge bases represented in set-theoretic terms, and a generalization of the Conjunctive Query Answering problem in which conjunctive queries with variables of three sorts are admitted. The reasoner, which extends and improves a previous version, is implemented in C++. It supports 𝒟 ℒ D 4,×-knowledge bases serialized in the OWL/XML format and it admits also rules expressed in SWRL (Semantic Web Rule Language).