3032 search results - page 29 / 607 » Description Logic Rules |
104
click to vote
DLOG
2006
15 years 3 months ago
2006
In the current paper we investigate the role of Euclidian roles in Description Logics.
106
click to vote
BMCBI
2008
15 years 2 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...
126
click to vote
ECOOP
1995
Springer
15 years 5 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
15 years 6 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.