Tightly integrated probabilistic description logic programs for representing ontology mappings
DOI10.1007/s10472-012-9280-3zbMath1242.68090OpenAlexW2029294635MaRDI QIDQ429437
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
uncertaintydata integrationwell-founded semanticslogic programsinconsistencydescription logicsdatabasesontologiessemantic webanswer set semanticsdescription logic programsontology mappingsprobabilistic logics
Database theory (68P15) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Reasoning under uncertainty in the context of artificial intelligence (68T37) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)
Related Items (2)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Probabilistic description logic programs
- Dualities between alternative semantics for logic programming and nonmonotonic reasoning
- The independent choice logic for modelling multiple agents under uncertainty
- Expressive probabilistic description logics
- Combining answer set programming with description logics for the semantic web
- Tractable reasoning and efficient query answering in description logics: The DL-Lite family
- Towards Top-k Query Answering in Description Logics: The Case of DL-Lite
- Tightly Coupled Probabilistic Description Logic Programs for the Semantic Web
- The well-founded semantics for general logic programs
- Logical foundations of object-oriented and frame-based languages
- ADDING PROBABILITIES AND RULES TO OWL LITE SUBSETS BASED ON PROBABILISTIC DATALOG
- Logics in Artificial Intelligence
- Tightly Integrated Probabilistic Description Logic Programs for Representing Ontology Mappings
- Linking Data to Ontologies
This page was built for publication: Tightly integrated probabilistic description logic programs for representing ontology mappings