Sciweavers

2268 search results - page 277 / 454
» Semantic Integration
Sort
View
TII
2008
98views more  TII 2008»
15 years 3 months ago
Formal Methods for Systems Engineering Behavior Models
Abstract--Safety analysis in Systems Engineering (SE) processes, as usually implemented, rarely relies on formal methods such as model checking since such techniques, however power...
Charlotte Seidner, Olivier H. Roux
JASIS
2000
120views more  JASIS 2000»
15 years 3 months ago
Probabilistic datalog: Implementing logical information retrieval for advanced applications
In the logical approach to information retrieval (IR), retrieval is considered as uncertain inference. Whereas classical IR models are based on propositional logic, we combine Dat...
Norbert Fuhr
ASWC
2009
Springer
15 years 10 months ago
A Conceptual Model for a Web-Scale Entity Name System
The problem of identity and reference is receiving increasing attention in the (semantic) web community and is emerging as one of the key features which distinguish traditional kno...
Paolo Bouquet, Themis Palpanas, Heiko Stoermer, Ma...
112
Voted
GI
2007
Springer
15 years 10 months ago
Ontology Based Data Validation and Cleaning: Restructuring Operations for Ontology Maintenance
: Data validation and cleaning are integral processes of the data quality management cycle. Domain specific knowledge is needed to detect and correct semantic errors. Ontologies c...
Stefan Brüggemann, Thomas Aden
SUM
2007
Springer
15 years 10 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....