3032 search results - page 346 / 607 » Description Logic Rules |
165
click to vote
DLOG
2011
14 years 7 months ago
2011
We prove co-N2ExpTime-hardness for conjunctive query entailment in the description logic ALCOIF , thus improving the previously known 2ExpTime lower bound. The result transfers to ...
129
Voted
ISLPED
1995
ACM
15 years 7 months ago
1995
ACM
The need to reduce the power consumption of the next generation of digital systems is clearly recognized. At the system level, power management is a very powerful technique and de...
138
click to vote
KBSE
1999
IEEE
15 years 8 months ago
1999
IEEE
The language AML is used to specify the semantics of architecture description languages, ADLs. It is a very primitive language, having declarations for only three constructs: elem...
145
click to vote
FGR
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper presents a new technique for the perception of activities using statistical description of spatio-temporal properties. With this approach, the probability of an activit...
181
click to vote
TABLEAUX
2000
Springer
15 years 7 months ago
2000
Springer
FaCT (Fast Classification of Terminologies) is a Description Logic (DL) classifier that can also be used for modal logic satisfiability testing. The FaCT system includes two reason...