Sciweavers

5434 search results - page 705 / 1087
» Semantic information portals
Sort
View
SAMT
2007
Springer
136views Multimedia» more  SAMT 2007»
16 years 1 months ago
Automatic Recommendations for Machine-Assisted Multimedia Annotation: A Knowledge-Mining Approach
Recommender systems apply knowledge discovery techniques to help in finding associated information. In this paper, we investigate the use of association rule mining as an underlyi...
Mónica Díez, Paulo Villegas
SEMWEB
2007
Springer
16 years 1 months ago
Measuring Incoherence in Description Logic-Based Ontologies
Ontologies play a core role in the success of the Semantic Web as they provide a shared vocabulary for different resources and applications. Developing an error-free ontology is a...
Guilin Qi, Anthony Hunter
SEMWEB
2007
Springer
16 years 1 months ago
Semi-automatic Ontology Engineering Using Patterns
Many enterprise systems face the same kind of information processing problems that exist on the web in general, and creating semantic solutions often involve constructing an enterp...
Eva Blomqvist
SUM
2007
Springer
16 years 1 months ago
The Consistency Extractor System: Querying Inconsistent Databases Using Answer Set Programs
Abstract. We present the Consistency Extractor System (ConsEx) that uses answer set programming to compute consistent answers to first-order queries posed to relational databases ...
Mónica Caniupán Marileo, Leopoldo E....
TYPES
2007
Springer
16 years 1 months ago
A Declarative Language for the Coq Proof Assistant
This paper presents a new proof language for the Coq proof assistant. This language uses the declarative style. It aims at providing a simple, natural and robust alternative to the...
Pierre Corbineau