Sciweavers

2181 search results - page 247 / 437
» Ontologies and Description Logics
Sort
View
LFCS
2009
Springer
16 years 1 months ago
Completeness Results for Memory Logics
Memory logics are a family of modal logics in which standard relational structures are augmented with data structures and additional operations to modify and query these structure...
Carlos Areces, Santiago Figueira, Sergio Mera
ACL
2008
15 years 8 months ago
Multilingual Harvesting of Cross-Cultural Stereotypes
People rarely articulate explicitly what a native speaker of a language is already assumed to know. So to acquire the stereotypical knowledge that underpins much of what is said i...
Tony Veale, Yanfen Hao, Guofu Li
MSA
2007
126views Multimedia» more  MSA 2007»
15 years 8 months ago
Semantic Modeling of Digital Multimedia
- The requirement for a commonly accepted efficient mapping between multimedia metadata standards and semantic web-ontology standards is a major issue recognized by semantic multim...
Babak Akhgar, Jawed I. A. Siddiqi, Fazilatur Rahma...
ENGL
2007
168views more  ENGL 2007»
15 years 6 months ago
A Novel Star Field Approach for Shape Indexing in CBIR Systems
—This paper presents a novel hybrid method for content based visual information retrieval (CBIR) that combines shape analysis of objects in image with their automatic indexing by...
Oleg Starostenko, Alberto Chávez-Arag&oacut...
WWW
2005
ACM
16 years 7 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