Sciweavers

2694 search results - page 128 / 539
» A Description Logic of Change
Sort
View
EON
2008
13 years 11 months ago
Debugging OWL Ontologies - A Reality Check
One of the arguments for choosing description logics as the basis for the Web Ontology Language is the ability to support the development of complex ontologies through logical reas...
Heiner Stuckenschmidt
JWSR
2007
89views more  JWSR 2007»
13 years 9 months ago
Fully Automated Web Services Discovery and Composition Through Concept Covering and Concept Abduction
: We propose a framework and polynomial algorithms for semantic-based automated Web service composition, fully compliant with Semantic Web technologies. The approach exploits the r...
Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciasc...
LPAR
2010
Springer
13 years 7 months ago
SAT Encoding of Unification in EL
Unification in Description Logics has been proposed as a novel inference service that can, for example, be used to detect redundancies in ontologies. In a recent paper, we have sho...
Franz Baader, Barbara Morawska
MVA
1996
118views Computer Vision» more  MVA 1996»
13 years 11 months ago
Correlation-Based Visual Tracking Enhanced by Affine Motion Description
Since conventional correlation-based visual tracking algorithms are based on a single reference block, they often fail to track a target in the following situations: 1) a view of ...
Yoshihisa Adachi, Minoru Asada, Takayuki Nakamura
JNCA
2007
87views more  JNCA 2007»
13 years 9 months ago
Representing and analysing composed web services using Cress
Composite web services are defined using the industry-standard language BPEL (Business Process Execution Logic). There is a strong need for graphical and automated support for th...
Kenneth J. Turner