2302 search results - page 169 / 461 » Basic Description Logics |
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...
115
click to vote
TAMODIA
2008
15 years 5 months ago
2008
This paper aims to provide thorough discussion of the aspects that compose the state of a Web application user interface, and show how it can be preserved across multiple devices w...
132
click to vote
EDOC
2004
IEEE
15 years 8 months ago
2004
IEEE
In this paper we introduce a logical viewpoint on architectures. The logical viewpoint is based on the distinction between symbolic and semantic models of architectures. The core ...