Sciweavers

9145 search results - page 24 / 1829
» Description Logic Systems
Sort
View
107
Voted
ECAI
1998
Springer
15 years 4 months ago
Description Logics with Concrete Domains and Aggregation
Abstract. We extend different Description Logics by concrete domains (such as integers and reals) and by aggregation functions over these domains (such as min;max;count;sum), which...
Franz Baader, Ulrike Sattler
88
Voted
IJCAI
2001
15 years 1 months ago
High Performance Reasoning with Very Large Knowledge Bases: A Practical Case Study
We present an empirical analysis of optimization techniques devised to speed up the so-called TBox classification supported by description logic systems which have to deal with ve...
Volker Haarslev, Ralf Möller
WWW
2003
ACM
16 years 1 months ago
Description logic programs: combining logic programs with description logic
Benjamin N. Grosof, Ian Horrocks, Raphael Volz, St...
DLOG
2008
15 years 2 months ago
ContraBovemRufum: A System for Probabilistic Lexicographic Entailment
Representing probabilistic knowledge in combination with a description logic has been a research topic for quite some time. In [1] one of such combinations is introduced. We presen...
Tobias Henrik Näth, Ralf Möller
102
Voted
AUSAI
1999
Springer
15 years 4 months ago
Feasibility of Optimised Disjunctive Reasoning for Approximate Matching
Abstract. Description logics are powerful knowledge representation systems providing well-founded and computationally tractable classification reasoning. However recognition of in...
Ian Horrocks, Lin Padgham, Laura Thomson