3793 search results - page 147 / 759 » Expressive Description Logics |
126
click to vote
ATVA
2009
Springer
15 years 8 months ago
2009
Springer
We present specification languages that naturally capture exactly the regular and -regular properties that are stutter invariant. Our specification languages are variants of the cl...
154
click to vote
CADE
2007
Springer
16 years 4 months ago
2007
Springer
The E-KRHyper system is a model generator and theorem prover for first-order logic with equality. It implements the new E-hyper tableau calculus, which integrates a superposition-b...
195
click to vote
FROCOS
2009
Springer
15 years 11 months ago
2009
Springer
We investigate the temporal extension of the description logic DL-Lite(RN ) bool with the until operator on concepts, rigid (time-independent) and local (time-dependent) roles, and...
198
click to vote
DLOG
2011
14 years 8 months ago
2011
Abstract. For a number of problems, such as ontology learning or image labeling, we need to handle uncertainty and inconsistencies in an appropriate way. Fuzzy and Probabilistic De...
154
click to vote
ISMB
2000
15 years 5 months ago
2000
Determination of the functions of all expressed proteins represents one of the major upcoming challenges in computational molecular biology. Since subcellular location plays a cru...