Sciweavers

1529 search results - page 46 / 306
» An Abstraction Method Using a Semantic Engine Based on Langu...
Sort
View
SEMWEB
2007
Springer
14 years 2 months ago
Semantic Enterprise Technologies
Abstract. Nowadays enterprises request information technologies that leverage structured and unstructured information for providing a single integrated view of business problems in...
Massimo Ruffolo, Luigi Guadagno, Inderbir Sidhu
ISMIS
2003
Springer
14 years 1 months ago
Development of Generic Search Method Based on Transformation Invariance
Abstract. The needs of efficient and flexible information retrieval on multistructural data stored in database and network are significantly growing. Especially, its flexibility pl...
Fuminori Adachi, Takashi Washio, Hiroshi Motoda, A...
TYPES
2004
Springer
14 years 1 months ago
A Content Based Mathematical Search Engine: Whelp
Abstract. The prototype of a content based search engine for mathematical knowledge supporting a small set of queries requiring matching and/or typing operations is described. The ...
Andrea Asperti, Ferruccio Guidi, Claudio Sacerdoti...
GIR
2008
ACM
13 years 9 months ago
Evaluating field crisping methods for representing spatial prepositions
There is a need for GIR systems to interpret the vague aspects of spatial language. Here we describe an initial approach towards evaluating crisp realisations of a field-based mo...
Mark M. Hall, Christopher B. Jones
WWW
2005
ACM
14 years 9 months ago
Soundness proof of Z semantics of OWL using institutions
The correctness of the Z semantics of OWL is the theoretical foundation of using software engineering techniques to verify Web ontologies. As OWL and Z are based on different logi...
Dorel Lucanu, Yuan-Fang Li, Jin Song Dong