Sciweavers

951 search results - page 10 / 191
» Suggestions for OWL 3
Sort
View
TABLEAUX
2005
Springer
14 years 3 months ago
A Tableau-Based Explainer for DL Subsumption
This paper describes the implementation of a tableau-based reasoning component which is capable of providing quasi natural language explanations for subsumptions within ALEHFR+ TBo...
Thorsten Liebig, Michael Halfmann
ENTCS
2006
110views more  ENTCS 2006»
13 years 9 months ago
Semantic Interoperability of Heterogeneous Semantic Resources
This paper presents a three-step approach for interoperabilising heterogeneous semantic resources. Firstly, we construct homogeneous representations of these resources in a pivot ...
Catarina Ferreira Da Silva, Lionel Médini, ...
ENTCS
2007
109views more  ENTCS 2007»
13 years 9 months ago
Hybrid Logics and Ontology Languages
Description Logics (DLs) are a family of logic based knowledge representation formalisms. Although they have a range of applications, they are perhaps best known as the basis for ...
Ian Horrocks, Birte Glimm, Ulrike Sattler
ICPR
2006
IEEE
14 years 10 months ago
Robust 3D Head Tracking Using Camera Pose Estimation
In this report we present a robust method to recover 3D position and orientation (pose) of a moving head using a single stationary camera. Head pose is recovered by formulating th...
Ehud Rivlin, Shay Ohayon
ESWS
2007
Springer
14 years 3 months ago
Understanding Large Volumes of Interconnected Individuals by Visual Exploration
Abstract. Ontologies are now used within an increasing number of realworld applications. So far, significant effort has been spend in building tools to support users in creating,...
Olaf Noppens, Thorsten Liebig