503 search results - page 7 / 101 » Combining Description Logics, Description Graphs, and Rules |
OWLED
2008
15 years 17 days ago
2008
78
Voted
KI
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. We provide an interactive method for knowledge acquisition combining approaches from description logic and formal concept analysis. Based on present data, hypothetical ru...
88
Voted
CADE
2010
Springer
15 years 7 days ago
2010
Springer
Coalgebraic description logics offer a common semantic umbrella for extensions of description logics with reasoning principles outside relational semantics, e.g. quantitative uncer...
111
click to vote
DLOG
2001
15 years 16 days ago
2001
This paper investigates an optimization technique for reasoning with qualified number restrictions in the description logic ALCQHR+ . We present a hybrid architecture where a stan...
KSEM
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Description logics (DLs) are a well-known family of knowledge representation (KR) languages. The notation of DLs has the style of a variable-free first order predicate l...