Sciweavers

356 search results - page 18 / 72
» Representation and Reasoning with Attributive Descriptions
Sort
View
DKE
2007
131views more  DKE 2007»
13 years 7 months ago
Reasoning and change management in modular ontologies
ct 9 The benefits of modular representations are well known from many areas of computer science. While in software engi10 neering modularization is mainly a vehicle for supporting...
Heiner Stuckenschmidt, Michel C. A. Klein
DLOG
2006
13 years 8 months ago
Tableau Caching for Description Logics with Inverse and Transitive Roles
Abstract. Modern description logic (DL) reasoners are known to be less efficient for DLs with inverse roles. The current loss of performance is largely due to the missing applicabi...
Yu Ding, Volker Haarslev
SEMWEB
2007
Springer
14 years 1 months ago
A Pattern-based Framework for Representation of Uncertainty in Ontologies
Abstract. We present a novel approach to representing uncertain information in ontologies based on design patterns. We provide a brief description of our approach, present its use ...
Miroslav Vacura, Vojtech Svátek, Pavel Smrz...
IJCAI
1989
13 years 8 months ago
Platypus: A Constraint-Based Reasoning System
Platypus is a constraint-based reasoning engine for synthesis, diagnosis and other recognition tasks. While its target applications are similar to those of many rule-based expert ...
William S. Havens, Paul Stephen Rehfuss
AVSS
2009
IEEE
14 years 2 months ago
Context-Based Reasoning Using Ontologies to Adapt Visual Tracking in Surveillance
— Classical tracking methods are often insufficient when dealing with complex scenarios. In order to solve tracking errors, innovative techniques based on the use of information ...
Juan Gómez-Romero, Miguel A. Patricio, Jes&...