scholarly journals Runtime Verification Using a Temporal Description Logic

2009 ◽  
pp. 149-164 ◽  
Author(s):  
Franz Baader ◽  
Andreas Bauer ◽  
Marcel Lippmann
Keyword(s):  
Description Logic ◽  
Runtime Verification

scholarly journals Runtime verification using the temporal description logic ALC-LTL revisited

2014 ◽  
Vol 12 (4) ◽  
pp. 584-613 ◽  
Author(s):  
Franz Baader ◽  
Marcel Lippmann
Keyword(s):  
Description Logic ◽  
Runtime Verification

Deciding Query Entailment for Fuzzy Description Logic Knowledge Bases：The f-SH Family

2012 ◽  
Vol 35 (4) ◽  
pp. 767-785
Author(s):  
Jing-Wei CHENG ◽  
Zong-Min MA ◽  
Li YAN ◽  
Fu ZHANG
Keyword(s):  
Description Logic ◽  
Fuzzy Description

Semantics of OWL-S process model based on temporal description logic

2013 ◽  
Vol 33 (1) ◽  
pp. 266-269 ◽  
Author(s):  
Ming LI ◽  
Shiyi LIU ◽  
Fuzhong NIAN
Keyword(s):  
Process Model ◽  
Description Logic ◽  
Model Based

Syndication on the Web Using a Description Logic Approach

2008 ◽  
Author(s):  
Christian Halaschek-Wiener ◽  
Vladimir Kolovski
Keyword(s):  
Description Logic ◽  
Logic Approach ◽  
The Web

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

2021 ◽  
Vol 178 (4) ◽  
pp. 315-346
Author(s):  
Domenico Cantone ◽  
Marianna Nicolosi-Asmundo ◽  
Daniele Francesco Santamaria
Keyword(s):  
Semantic Web ◽  
Set Theory ◽  
Description Logic ◽  
Knowledge Bases ◽  
Query Answering ◽  
Conjunctive Query ◽  
Classification Problems ◽  
Previous Version ◽  
Decidable Fragment ◽  
Stratified Set

We present a KE-tableau-based implementation of a reasoner for a decidable fragment of (stratified) set theory expressing the description logic 𝒟ℒ〈4LQSR,×〉(D) (𝒟ℒD4,×, for short). Our application solves the main TBox and ABox reasoning problems for 𝒟ℒD4,×. In particular, it solves the consistency and the classification problems for 𝒟ℒD4,×-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 𝒟ℒD4,×-knowledge bases serialized in the OWL/XML format and it admits also rules expressed in SWRL (Semantic Web Rule Language).

Sign in / Sign up

Export Citation Format

Share Document