A Framework for Representing Ontology Mappings under Probabilities and Inconsistency
<p>Creating mappings between ontologies is a common way of approaching the semantic heterogeneity problem on the Semantic Web. To fit into the landscape of semantic web languages, a suitable, logic-based representation formalism for mappings is needed. We argue that such a formalism has to be...
| Main Authors: | , , , |
|---|---|
| Format: | Conference item |
| Published: |
CEUR−WS.org
2008
|
| _version_ | 1826263281161994240 |
|---|---|
| author | Calì, A Lukasiewicz, T Predoiu, L Stuckenschmidt, H |
| author_facet | Calì, A Lukasiewicz, T Predoiu, L Stuckenschmidt, H |
| author_sort | Calì, A |
| collection | OXFORD |
| description | <p>Creating mappings between ontologies is a common way of approaching the semantic heterogeneity problem on the Semantic Web. To fit into the landscape of semantic web languages, a suitable, logic-based representation formalism for mappings is needed. We argue that such a formalism has to be able to deal with uncertainty and inconsistencies in automatically created mappings. We analyze the requirements for such a mapping language and present a formalism that combines tightly integrated description logic programs with independent choice logic for representing probabilistic information. We define the language, show that it can be used to resolve inconsistencies and merge mappings from different matchers based on the level of confidence assigned to different rules. We also analyze the computational aspects of consistency checking and query processing in tightly integrated probabilistic description logic programs.</p> |
| first_indexed | 2024-03-06T19:49:15Z |
| format | Conference item |
| id | oxford-uuid:23660d6d-554a-4676-9e91-772db685af29 |
| institution | University of Oxford |
| last_indexed | 2024-03-06T19:49:15Z |
| publishDate | 2008 |
| publisher | CEUR−WS.org |
| record_format | dspace |
| spelling | oxford-uuid:23660d6d-554a-4676-9e91-772db685af292022-03-26T11:44:09ZA Framework for Representing Ontology Mappings under Probabilities and InconsistencyConference itemhttp://purl.org/coar/resource_type/c_5794uuid:23660d6d-554a-4676-9e91-772db685af29Department of Computer ScienceCEUR−WS.org2008Calì, ALukasiewicz, TPredoiu, LStuckenschmidt, H<p>Creating mappings between ontologies is a common way of approaching the semantic heterogeneity problem on the Semantic Web. To fit into the landscape of semantic web languages, a suitable, logic-based representation formalism for mappings is needed. We argue that such a formalism has to be able to deal with uncertainty and inconsistencies in automatically created mappings. We analyze the requirements for such a mapping language and present a formalism that combines tightly integrated description logic programs with independent choice logic for representing probabilistic information. We define the language, show that it can be used to resolve inconsistencies and merge mappings from different matchers based on the level of confidence assigned to different rules. We also analyze the computational aspects of consistency checking and query processing in tightly integrated probabilistic description logic programs.</p> |
| spellingShingle | Calì, A Lukasiewicz, T Predoiu, L Stuckenschmidt, H A Framework for Representing Ontology Mappings under Probabilities and Inconsistency |
| title | A Framework for Representing Ontology Mappings under Probabilities and Inconsistency |
| title_full | A Framework for Representing Ontology Mappings under Probabilities and Inconsistency |
| title_fullStr | A Framework for Representing Ontology Mappings under Probabilities and Inconsistency |
| title_full_unstemmed | A Framework for Representing Ontology Mappings under Probabilities and Inconsistency |
| title_short | A Framework for Representing Ontology Mappings under Probabilities and Inconsistency |
| title_sort | framework for representing ontology mappings under probabilities and inconsistency |
| work_keys_str_mv | AT calia aframeworkforrepresentingontologymappingsunderprobabilitiesandinconsistency AT lukasiewiczt aframeworkforrepresentingontologymappingsunderprobabilitiesandinconsistency AT predoiul aframeworkforrepresentingontologymappingsunderprobabilitiesandinconsistency AT stuckenschmidth aframeworkforrepresentingontologymappingsunderprobabilitiesandinconsistency AT calia frameworkforrepresentingontologymappingsunderprobabilitiesandinconsistency AT lukasiewiczt frameworkforrepresentingontologymappingsunderprobabilitiesandinconsistency AT predoiul frameworkforrepresentingontologymappingsunderprobabilitiesandinconsistency AT stuckenschmidth frameworkforrepresentingontologymappingsunderprobabilitiesandinconsistency |