2381 search results - page 179 / 477 » On Ordering Descriptions in a Description Logic |
230
click to vote
DLOG
2011
14 years 5 months ago
2011
This paper examines a new technique based on tableau, that allows one to introduce composition of roles from the right hand side of complex role inclusion axioms (RIAs). Our motiva...
121
click to vote
DLOG
2011
14 years 5 months ago
2011
In this paper, we present a reasoner capable of epistemic inferences in SROIQ knowledge bases. We first identify some counter intuitive effects of imposing the traditional semant...
140
click to vote
ADAEUROPE
2005
Springer
15 years 7 months ago
2005
Springer
Distributed Real-Time (DRE) systems require the verification of their properties to ensure both reliability and conformance to initial requirements. Architecture description langu...
105
click to vote
TSD
2005
Springer
15 years 7 months ago
2005
Springer
This paper presents an automatic methodology we used in an experiment to acquire a morphological lexicon for the Slovak language, and the lexicon we obtained. This methodology exte...
135
click to vote
SBACPAD
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper presents the cache configuration exploration of a programmable system, in order to find the best matching between the architecture and a given application. Here, prog...