3032 search results - page 29 / 607 » Description Logic Rules |
DLOG
2006
13 years 9 months ago
2006
In the current paper we investigate the role of Euclidian roles in Description Logics.
DLOG
2004
13 years 9 months ago
2004
We present an application
BMCBI
2008
13 years 7 months ago
2008
Background: Metabolic networks present a complex interconnected structure, whose understanding is in general a non-trivial task. Several formal approaches have been developed to s...
ECOOP
1995
Springer
13 years 11 months ago
1995
Springer
PSL is a framework for describing dynamic and architectural properties of open systems. PSL extends established interface-based tactics for describing the functional properties of...
TABLEAUX
1999
Springer
13 years 12 months ago
1999
Springer
In this paper we present the results of applying HAM-ALC, a description logic system for ALCNR, to modal logic SAT problems.