Sciweavers

3719 search results - page 12 / 744
» Pellet System Description
Sort
View
CADE
2001
Springer
15 years 9 months ago
RACER System Description
RACER implements a TBox and ABox reasoner for the logic SHIQ. RACER was the first full-fledged ABox description logic system for a very expressive logic and is based on optimized s...
Ralf Möller, Volker Haarslev
DLOG
2001
14 years 11 months ago
Description of the RACER System and its Applications
RACER implements a TBox and ABox reasoner for the logic SHIQ. RACER was the first full-fledged ABox description logic system for a very expressive logic and is based on optimized ...
Volker Haarslev, Ralf Möller
EMSOFT
2005
Springer
15 years 3 months ago
Pinapa: an extraction tool for SystemC descriptions of systems-on-a-chip
SystemC is becoming a de-facto standard for the description of complex systems-on-a-chip. It enables system-level descriptions of SoCs: the same language is used for the descripti...
Matthieu Moy, Florence Maraninchi, Laurent Maillet...
P2P
2007
IEEE
108views Communications» more  P2P 2007»
15 years 3 months ago
Distributed, Automatic File Description Tuning in Peer-to-Peer File-Sharing Systems
Peers in peer-to-peer file-sharing systems cannot effectively share their files if they are poorly described. Terms one user employs to describe an instance of a file may not be t...
Dongmei Jia, Wai Gen Yee, Linh Thai Nguyen, Ophir ...
DLOG
2007
14 years 11 months ago
Automated Evaluation of Description Logic Reasoning Systems
Abstract. The DL implementation group (DIG) has specified a common interface for description logic reasoner. While the original intention was to make it easier for other tools to ...
Sebastian Wandelt