Sciweavers

492 search results - page 26 / 99
» Integrating Ontology Languages and Answer Set Programming
Sort
View
NDQA
2003
101views Education» more  NDQA 2003»
13 years 10 months ago
Answering Questions about Moving Objects in Surveillance Videos
Current question answering systems succeed in many respects regarding questions about textual documents. However, information exists in other media, which provides both opportunit...
Boris Katz, Jimmy J. Lin, Chris Stauffer, W. Eric ...
ESWS
2008
Springer
13 years 10 months ago
Contextual and Metadata-based Approach for the Semantic Annotation of Heterogeneous Documents
We present SHIRI-Annot an automatic ontology-driven and unsupervised approach for the semantic annotation of documents which contain well structured parts and not well structured o...
Mouhamadou Thiam, Nathalie Pernelle, Nacéra...
ICLP
2007
Springer
14 years 2 months ago
Contextual Logic Programming for Ontology Representation and Querying
Abstract. The system presented in this paper aims at using Contextual Logic Programming as a computational hub for knowledge modeled by web ontologies and enable querying that repr...
Nuno Lopes 0002, Cláudio Fernandes, Salvado...
ENTCS
2007
109views more  ENTCS 2007»
13 years 8 months ago
Hybrid Logics and Ontology Languages
Description Logics (DLs) are a family of logic based knowledge representation formalisms. Although they have a range of applications, they are perhaps best known as the basis for ...
Ian Horrocks, Birte Glimm, Ulrike Sattler
POPL
2008
ACM
14 years 9 months ago
Demand-driven alias analysis for C
This paper presents a demand-driven, flow-insensitive analysis algorithm for answering may-alias queries. We formulate the computation of alias queries as a CFL-reachability probl...
Xin Zheng, Radu Rugina