Tightly integrated probabilistic description logic programs for representing ontology mappings

DOI10.1007/S10472-012-9280-3zbMATH Open1242.68090OpenAlexW2029294635MaRDI QIDQ429437FDOQ429437

Authors Thomas Lukasiewicz, Livia Predoiu, Heiner Stuckenschmidt

Publication date 19 June 2012

Published in Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10472-012-9280-3

zbMATH Keywords

uncertaintydata integrationdatabasesdescription logicsontologiessemantic webinconsistencyanswer set semanticsdescription logic programslogic programsontology mappingsprobabilistic logicswell-founded semantics

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37) Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Database theory (68P15) Logic in artificial intelligence (68T27) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

Recommendations

• Tightly Integrated Probabilistic Description Logic Programs for Representing Ontology Mappings
• Tightly Coupled Probabilistic Description Logic Programs for the Semantic Web
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty
• Probabilistic description logic programs
• Expressive probabilistic description logics
• Probabilistic description logic programs under inheritance with overriding for the semantic Web

Cites work

• scientific article; zbMATH DE number 25190 (Why is no real title available?)
• scientific article; zbMATH DE number 1931651 (Why is no real title available?)
• ADDING PROBABILITIES AND RULES TO OWL LITE SUBSETS BASED ON PROBABILISTIC DATALOG
• Combining answer set programming with description logics for the semantic web
• Dualities between alternative semantics for logic programming and nonmonotonic reasoning
• Expressive probabilistic description logics
• Linking Data to Ontologies
• Logical foundations of object-oriented and frame-based languages
• Logics in Artificial Intelligence
• Probabilistic description logic programs
• The independent choice logic for modelling multiple agents under uncertainty
• The well-founded semantics for general logic programs
• Tightly Coupled Probabilistic Description Logic Programs for the Semantic Web
• Tightly Integrated Probabilistic Description Logic Programs for Representing Ontology Mappings
• Towards Top-k Query Answering in Description Logics: The Case of DL-Lite
• Tractable reasoning and efficient query answering in description logics: The DL-Lite family

Cited in

(10)

• Complexity of reasoning with expressive ontology mappings
• Languages for probabilistic modeling over structured and relational domains
• Probabilistic entailment in the setting of coherence: the role of quasi conjunction and inclusion relation
• Uncertainty in Semantic Ontology Mapping: An Evidential Approach
• Tightly Coupled Probabilistic Description Logic Programs for the Semantic Web
• Tightly Integrated Probabilistic Description Logic Programs for Representing Ontology Mappings
• Reasoning with uncertain and inconsistent OWL ontologies
• Mapping Properties of Heterogeneous Ontologies
• On the complexity of propositional and relational credal networks
• RETRACTED ARTICLE: Uncertainty modeling based on Bayesian network in ontology mapping

Describes a project that uses

Uses Software

• BayesOWL

This page was built for publication: Tightly integrated probabilistic description logic programs for representing ontology mappings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q429437)