Results 281 to 290 of about 2,766,744 (297)

Towards Service Description Logics

2002
Semantic service description and matchmaking are needed in embedded and disappearing computing, cooperative multiagent systems, and the semantic web. Standard program semantics formalizations are not suited to modeling service semantics, because they are generic w.r.t.
openaire   +3 more sources

An Introduction to Description Logic by Franz Baader

, 2017
F. Baader, Ian Horrocks, C. Lutz, U. Sattler   +3 more
semanticscholar   +1 more source

Adding Threshold Concepts to the Description Logic EL

Description Logics, 2015
O. Gil, F. Baader, G. Brewka
semanticscholar   +1 more source

FaCT++ Description Logic Reasoner: System Description

International Joint Conference on Automated Reasoning, 2006
Dmitry Tsarkov, Ian Horrocks
semanticscholar   +1 more source

The Bayesian Description Logic ${\mathcal{BEL}}$

International Joint Conference on Automated Reasoning, 2014
I. Ceylan, R. Peñaloza
semanticscholar   +1 more source

ABox Abduction in the Description Logic ALC

Journal of automated reasoning, 2011
Szymon Klarman, U. Endriss, Stefan Schlobach   +2 more
semanticscholar   +2 more sources

Verification and Synthesis in Description Logic Based Dynamic Systems (Abridged Version)

AIBP@AI*IA, 2013
Diego Calvanese, Giuseppe De Giacomo, Marco Montali, F. Patrizi   +3 more
semanticscholar   +1 more source

Temporal Query Answering in the Description Logic DL-Lite

International Symposium on Frontiers of Combining Systems, 2013
Stefan Borgwardt, M. Lippmann, Veronika Thost   +2 more
semanticscholar   +1 more source

Description Logics

2004
Franz Baader, Ian Horrocks, Ulrike Sattler   +2 more
openaire   +1 more source

How Fuzzy Is My Fuzzy Description Logic?

International Joint Conference on Automated Reasoning, 2012
Stefan Borgwardt, Felix Distel, R. Peñaloza   +2 more
semanticscholar   +1 more source