1663 search results - page 148 / 333 » Description Logics for Interoperability |
123
click to vote
WWW
2010
ACM
15 years 4 months ago
2010
ACM
With the rapid growth in the number of online Web services, the problem of service adaptation has received significant attention. In matching and adaptation, the functional descri...
169
click to vote
JELIA
2004
Springer
15 years 9 months ago
2004
Springer
Methods for computing the least common subsumer (lcs) are usually restricted to rather inexpressive Description Logics (DLs) whereas existing knowledge bases are written in very e...
130
click to vote
CADE
2004
Springer
16 years 4 months ago
2004
Springer
Sonic1 is the first prototype implementation of non-standard inferences for Description Logics usable via a graphical user interface. The contribution of our implementation is twof...
135
click to vote
VL
2007
IEEE
15 years 10 months ago
2007
IEEE
Description logics (DLs) are a well-understood family of knowledge representation (KR) languages. The notation of DLs has the flavour of a variable-free first order predicate lo...
141
click to vote
LICS
1999
IEEE
15 years 8 months ago
1999
IEEE
An important open question in complexity theory is whether the circuit complexity class TC0 is (strictly) weaker than LOGSPACE. This paper considers this question from the viewpoi...