Sciweavers

2302 search results - page 68 / 461
» Basic Description Logics
Sort
View
83
Voted
ICMCS
2005
IEEE
120views Multimedia» more  ICMCS 2005»
15 years 6 months ago
Picturefinder: Description Logics for Semantic Image Retrieval
Large amount of images need an efficient way of retrieving them. The usual approach of manually annotating images and/or providing a syntactic retrieval capability lacks flexibi...
Jean-Pierre Schober, Thorsten Hermes, Otthein Herz...
DLOG
2003
15 years 2 months ago
Description Logic Systems
The Semantic Web initiative defines important challenges for knowledge representation and database systems. Recently, several standards for representation languages have been pro...
Ralf Möller, Volker Haarslev
117
Voted
OTM
2007
Springer
15 years 7 months ago
Parallelizing Tableaux-Based Description Logic Reasoning
Practical scalability of Description Logic (DL) reasoning is an important premise for the adoption of OWL in a real-world setting. Many highly efficient optimizations for the DL ta...
Thorsten Liebig, Felix Müller
151
Voted
LPAR
1999
Springer
15 years 5 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
109
Voted
JAPLL
2010
141views more  JAPLL 2010»
14 years 11 months ago
Algebraic tableau reasoning for the description logic SHOQ
Semantic web applications based on the web ontology language (OWL) often require the use of numbers in class descriptions for expressing cardinality restrictions on properties or ...
Jocelyne Faddoul, Volker Haarslev