Sciweavers

Share
DLOG
2006
9 years 3 months ago
PSPACE Automata for Description Logics
Tree automata are often used for satisfiability testing in the area of description logics, which usually yields ExpTime complexity results. We examine conditions under which this ...
Jan Hladik, Rafael Peñaloza
DLOG
2006
9 years 3 months ago
Finding Subsumers for Natural Language Presentation
This work is motivated by the task of describing in natural language a concept defined in an OWL DL ontology. However, rather than focussing on linguistic issues, we address the q...
Chris Mellish, Jeff Z. Pan
DLOG
2006
9 years 3 months ago
Will my Ontologies Fit Together?
Bernardo Cuenca Grau, Ian Horrocks, Oliver Kutz, U...
DLOG
2006
9 years 3 months ago
Towards Mobile Reasoning
Highly optimized reasoning support for Description Logics (DLs) has been developed during the past years. This paper presents our efforts to develop a reasoner suitable for mobile ...
Thomas Kleemann
DLOG
2006
9 years 3 months ago
The new ICOM Ontology Editor
Pablo R. Fillottrani, Enrico Franconi, Sergio Tess...
books