1285 search results - page 231 / 257 » Description Logic Reasoner: System Description |
117
click to vote
ICCS
2005
Springer
15 years 7 months ago
2005
Springer
The paper presents the Multi Agent System (MAS) designed for the large scale parallel computations. The special kind of diffusionbased scheduling enables to decompose and allocate...
115
click to vote
AAAI
2000
15 years 2 months ago
2000
or cone, abstraction is chosen to represent a spectrum of user inputs/requirements that are narrowed, refined, and structured into a system design. User inputs require refinement f...
123
click to vote
MIR
2005
ACM
15 years 7 months ago
2005
ACM
It is estimated that less than ten percent of the world’s species have been discovered and described. The main reason for the slow pace of new species description is that the sc...
163
click to vote
POPL
1998
ACM
15 years 5 months ago
1998
ACM
Java is typically compiled into an intermediate language, JVML, that is interpreted by the Java Virtual Machine. Because mobile JVML code is not always trusted, a bytecode verifi...
148
click to vote
RR
2010
Springer
14 years 12 months ago
2010
Springer
We present an extension of the DLVHEX system to support RIF-Core, a dialect of W3C’s Rule Interchange Format (RIF), as well as combinations of RIF-Core and OWL2RL ontologies. DLV...