1544 search results - page 47 / 309 » Automated Evaluation of Description Logic Reasoning Systems |
231
click to vote
FROCOS
2011
Springer
14 years 6 months ago
2011
Springer
Temporal data models have been used to describe how data can evolve in the context of temporal databases. Both the Extended Entity-Relationship (EER) model and the Unified Modelli...
206
click to vote
DLOG
2009
15 years 4 months ago
2009
Abstract This paper analyzes the probabilistic description logic PSHIQ by looking at it as a fragment of probabilistic first-order logic with semantics based on possible worlds. We...
172
click to vote
EUSFLAT
2007
15 years 7 months ago
2007
The paper presents experimental comparison of several resolution strategies for reasoning in Fuzzy Description Logic based on Fuzzy Predicate Logic with evaluated syntax. Resoluti...
162
click to vote
CADE
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. Twelf is a meta-logical framework for the specification, implementation, and meta-theory of deductive systems from the theory of programming languages and logics. It rel...
179
click to vote
DLOG
2008
15 years 8 months ago
2008
The use of Description Logic as the basis for Semantic Web Languages has led to new requirements with respect to scalable and nonstandard reasoning. In this paper, we address the p...