253 search results - page 38 / 51 » Extracting Modules from Ontologies: A Logic-based Approach |
FMCAD
2006
Springer
13 years 11 months ago
2006
Springer
The last few years have seen the advent of a new breed of decision procedures for various fragments of first-order logic based on ional abstraction. A lazy satisfiability checker ...
PAKM
1998
13 years 9 months ago
1998
Knowledge Discovery in Databases (KDD), also known as data mining, focuses on the computerized exploration of large amounts of data and on the discovery of interesting patterns wi...
EKAW
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. In this paper we present RDFauthor, an approach for authoring information that adheres to the RDF data model. RDFauthor completely hides syntax as well as RDF and ontolog...
ICDE
2007
IEEE
14 years 1 months ago
2007
IEEE
—Radio Frequency Identification (RFID) is an emerging technique that can significantly enhance supply chain processes and deliver customer service improvements. RFID provides use...
FSR
2003
Springer
14 years 25 days ago
2003
Springer
Current methods for off-road navigation using vehicle and terrain models to predict future vehicle response are limited by the accuracy of the models they use and can suffer if th...