Sciweavers

272 search results - page 26 / 55
» Reifying Concepts in Description Logics
Sort
View
DLOG
2009
15 years 4 months ago
Reasoning About Typicality in ALC and EL
In this work we summarize our recent results on extending Description Logics for reasoning about prototypical properties and inheritance with exceptions. First, we focus our attent...
Laura Giordano, Valentina Gliozzi, Nicola Olivetti...
JELIA
2004
Springer
15 years 11 months ago
Explaining Subsumption by Optimal Interpolation
We describe ongoing research to support the construction of terminologies with Description Logics. For the explanation of subsumption we search for particular concepts because of t...
Stefan Schlobach
ESWS
2010
Springer
15 years 11 months ago
iSeM: Approximated Reasoning for Adaptive Hybrid Selection of Semantic Services
—We present an intelligent service matchmaker, called iSeM, for adaptive and hybrid semantic service selection that exploits the full semantic profile in terms of signature anno...
Matthias Klusch, Patrick Kapahnke
APAL
2010
111views more  APAL 2010»
15 years 6 months ago
Resource modalities in tensor logic
The description of resources in game semantics has never achieved the simplicity and precision of linear logic, because of the misleading conception that linear logic is more prim...
Paul-André Melliès, Nicolas Tabareau
ECAI
2010
Springer
15 years 7 months ago
Linear Logic for Non-Linear Storytelling
Whilst narrative representations have played a prominent role in AI research, there has been a renewed interest in the topic with the development of interactive narratives. A typic...
Anne-Gwenn Bosser, Marc Cavazza, Ronan Champagnat