Sciweavers

706 search results - page 129 / 142
» Conceptual Modeling with Description Logics
Sort
View
IEEESCC
2005
IEEE
14 years 1 months ago
Web Service Discovery Based on Behavior Signatures
Web service discovery is a key problem as the number of services is expected to increase dramatically. Service discovery at the present time is based primarily on keywords, or int...
Zhongnan Shen, Jianwen Su
SAT
2004
Springer
106views Hardware» more  SAT 2004»
14 years 1 months ago
Local Search with Bootstrapping
We propose and study a technique to improve the performance of those local-search SAT solvers that proceed by executing a prespecified number of tries, each starting with an eleme...
Lengning Liu, Miroslaw Truszczynski
JUCS
2002
84views more  JUCS 2002»
13 years 7 months ago
The Design of an Object-based System for Representing and Classifying Spatial Structures and Relations
: Our work is concerned with the design of a knowledge-based system for recognizing agricultural landscape models on land-use maps. Landscape models are defined as sets of spatial ...
Florence Le Ber, Amedeo Napoli
DLOG
2010
13 years 5 months ago
Automata-Based Abduction for Tractable Diagnosis
Abstract. Abductive reasoning has been recognized as a valuable complement to deductive inference for tasks such as diagnosis and integration of incomplete information despite its ...
Thomas Hubauer, Steffen Lamparter, Michael Pirker
SEMWEB
2009
Springer
14 years 2 months ago
Towards a Graphical Notation for OWL 2
The Ontology Definition Metamodel (ODM) defines a set of UML metamodels and profiles for development of RDF and OWL. The UML profiles in the ODM specification adapt UML notations t...
Elisa F. Kendall, Roy Bell, Roger Burkhart, Mark D...