Sciweavers

41 search results - page 9 / 9
» dm 1999
Sort
View
LPAR
1999
Springer
13 years 10 months ago
Practical Reasoning for Expressive Description Logics
Abstract. Description Logics (DLs) are a family of knowledge representation formalisms mainly characterised by constructors to build complex concepts and roles from atomic ones. Ex...
Ian Horrocks, Ulrike Sattler, Stephan Tobies