Results 1 to 10 of about 3,682,520 (371)
Some of the next articles are maybe not open access.
Description Logic TBoxes: Model-Theoretic Characterizations and Rewritability
International Joint Conference on Artificial Intelligence, 2011We characterize the expressive power of description logic (DL) TBoxes, both for expressive DLs such as ALC and ALCQIO and lightweight DLs such as DL-Lite and EL.
C. Lutz, R. Piro, F. Wolter
semanticscholar +1 more source
Inconsistency-Tolerant Querying of Description Logic Knowledge Bases
RW, 2016Meghyn Bienvenu, Camille Bourgaux
semanticscholar +1 more source
Adding Threshold Concepts to the Description Logic EL
Description Logics, 2015O. Gil, F. Baader, G. Brewka
semanticscholar +1 more source
An Introduction to Description Logic by Franz Baader
, 2017F. Baader +3 more
semanticscholar +1 more source
FaCT++ Description Logic Reasoner: System Description
International Joint Conference on Automated Reasoning, 2006Dmitry Tsarkov, Ian Horrocks
semanticscholar +1 more source
The Bayesian Description Logic ${\mathcal{BEL}}$
International Joint Conference on Automated Reasoning, 2014I. Ceylan, R. Peñaloza
semanticscholar +1 more source
Verification and Synthesis in Description Logic Based Dynamic Systems (Abridged Version)
AIBP@AI*IA, 2013Diego Calvanese +3 more
semanticscholar +1 more source
Reachability Modules for the Description Logic $\mathcal{SRIQ}$
Logic Programming and Automated Reasoning, 2013R. Nortje, K. Britz, T. Meyer
semanticscholar +1 more source
Temporal Query Answering in the Description Logic DL-Lite
International Symposium on Frontiers of Combining Systems, 2013Stefan Borgwardt +2 more
semanticscholar +1 more source