1285 search results - page 152 / 257 » Description Logic Reasoner: System Description |
194
click to vote
DLOG
2010
15 years 4 months ago
2010
In this paper we outline an algebraic tableau algorithm for the DL SHOQ, which supports more informed reasoning due to the use of semantic partitioning and integer programming. We ...
173
click to vote
SIGSOFT
2003
ACM
16 years 7 months ago
2003
ACM
Web Services are software services that can be advertised by providers and deployed by customers using Web technologies. This concept is currently carried further to address Web s...
160
click to vote
ASIAN
1998
Springer
15 years 10 months ago
1998
Springer
LOTOS is a formal specification language, designed for the precise description of open distributed systems and protocols. Our purpose is to introduce the operators of logics (for e...
174
click to vote
FLAIRS
2004
15 years 7 months ago
2004
We discuss description and reasoning over regions. We have proposed a system called SRCC that integrates integration of spatial and semantic data. SRCC can describe and reason abo...
151
click to vote
ARTMED
2005
15 years 6 months ago
2005
Time-related concepts handling is essential in medicine. During diagnosis it can make a substantial difference to know the temporal order in which some symptoms occurred or for ho...