Probabilistic reasoning in intelligent systems: networks of plausible inference
Probabilistic reasoning in intelligent systems: networks of plausible inference
Default reasoning in semantic networks: a formalization of recognition and inheritance
Artificial Intelligence
An analysis of first-order logics of probability
Artificial Intelligence
Representing and reasoning with probabilistic knowledge: a logical approach to probabilities
Representing and reasoning with probabilistic knowledge: a logical approach to probabilities
ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems
Probabilistic Horn abduction and Bayesian networks
Artificial Intelligence
Query reformulation for dynamic information integration
Journal of Intelligent Information Systems - Special issue on intelligent integration of information
IAAI '93 Proceedings of the The Fifth Conference on Innovative Applications of Artificial Intelligence
A Hybrid Approach for Modeling Uncertainty in Terminological Logics
ECSQAU Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
Dynamic construction of belief networks
UAI '90 Proceedings of the Sixth Annual Conference on Uncertainty in Artificial Intelligence
A semantics and complete algorithm for subsumption in the classic description logic
Journal of Artificial Intelligence Research
Effective Bayesian inference for stochastic programs
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Query-answering algorithms for information agents
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
UAI'95 Proceedings of the Eleventh conference on Uncertainty in artificial intelligence
Probabilistic frame-based systems
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
ACM Computing Surveys (CSUR)
Using Probabilistic Information in Data Integration
VLDB '97 Proceedings of the 23rd International Conference on Very Large Data Bases
Computing Probabilistic Least Common Subsumers in Description Logics
KI '99 Proceedings of the 23rd Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
P-SHOQ(D): A Probabilistic Extension of SHOQ(D) for Probabilistic Ontologies in the Semantic Web
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
The description logic handbook
Annals of Mathematics and Artificial Intelligence
ACM SIGKDD Explorations Newsletter
Conceptual modelling for configuration: A description logic-based approach
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Probabilistic description logic programs
International Journal of Approximate Reasoning
Variable-strength conditional preferences for ranking objects in ontologies
Web Semantics: Science, Services and Agents on the World Wide Web
On scene interpretation with description logics
Image and Vision Computing
Expressive probabilistic description logics
Artificial Intelligence
A Pattern-Based Framework for Uncertainty Representation in Ontologies
TSD '08 Proceedings of the 11th international conference on Text, Speech and Dialogue
Tractable Reasoning with Bayesian Description Logics
SUM '08 Proceedings of the 2nd international conference on Scalable Uncertainty Management
Monitoring the execution of robot plans using semantic knowledge
Robotics and Autonomous Systems
International Journal of Metadata, Semantics and Ontologies
Managing uncertainty and vagueness in description logics for the Semantic Web
Web Semantics: Science, Services and Agents on the World Wide Web
Reasoning with rough description logics: An approximate concepts approach
Information Sciences: an International Journal
Pr$\mathcal{SH}$: A Belief Description Logic
KES-AMSTA '07 Proceedings of the 1st KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications
A Tableau Algorithm for Possibilistic Description Logic $\mathcal{ALC}$
ASWC '08 Proceedings of the 3rd Asian Semantic Web Conference on The Semantic Web
Ontology Learning and Reasoning -- Dealing with Uncertainty and Inconsistency
Uncertainty Reasoning for the Semantic Web I
Uncertainty Reasoning for Ontologies with General TBoxes in Description Logic
Uncertainty Reasoning for the Semantic Web I
Combining Fuzzy Description Logics and Fuzzy Logic Programs
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 03
A decision support system for secure information sharing
Proceedings of the 14th ACM symposium on Access control models and technologies
PR-OWL: A Framework for Probabilistic Ontologies
Proceedings of the 2006 conference on Formal Ontology in Information Systems: Proceedings of the Fourth International Conference (FOIS 2006)
Tightly Coupled Probabilistic Description Logic Programs for the Semantic Web
Journal on Data Semantics XII
Logical generative models for probabilistic reasoning about existence, roles and identity
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Reasoning within fuzzy description logics
Journal of Artificial Intelligence Research
Reasoning with very expressive fuzzy description logics
Journal of Artificial Intelligence Research
A formal framework for description logics with uncertainty
International Journal of Approximate Reasoning
Query Evaluation on Probabilistic RDF Databases
WISE '09 Proceedings of the 10th International Conference on Web Information Systems Engineering
Fuzzy sets in the fight against digital obesity
Fuzzy Sets and Systems
Learning with feature description logics
ILP'02 Proceedings of the 12th international conference on Inductive logic programming
PrDLs: a new kind of probabilistic description logics about belief
IEA/AIE'07 Proceedings of the 20th international conference on Industrial, engineering, and other applications of applied intelligent systems
Two types of hierarchies in geospatial ontologies
GeoS'07 Proceedings of the 2nd international conference on GeoSpatial semantics
Heuristics for constructing Bayesian network based geospatial ontologies
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
Use of affordances in geospatial ontologies
Proceedings of the 2006 international conference on Towards affordance-based robot control
Mapping validation by probabilistic reasoning
ESWC'08 Proceedings of the 5th European semantic web conference on The semantic web: research and applications
UAI '09 Proceedings of the Twenty-Fifth Conference on Uncertainty in Artificial Intelligence
Fuzzy Clustering for Semantic Knowledge Bases
Fundamenta Informaticae - Methodologies for Intelligent Systems
Proceedings of the 2010 conference on Formal Ontology in Information Systems: Proceedings of the Sixth International Conference (FOIS 2010)
Design Principles for Ontological Support of Bayesian Evidence Management
Proceedings of the 2010 conference on Ontologies and Semantic Technologies for Intelligence
Adaptive Markov Logic Networks: Learning Statistical Relational Models with Dynamic Parameters
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Semantic mapping with a probabilistic description logic
SBIA'10 Proceedings of the 20th Brazilian conference on Advances in artificial intelligence
Combining description logics and Horn rules with uncertainty in ARTIGENCE
Knowledge-Based Systems
Discovery of probabilistic mappings between taxonomies: principles and experiments
Journal on data semantics XV
Probabilistic-logical web data integration
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
Conjunctive query answering in probabilistic datalog+/- ontologies
RR'11 Proceedings of the 5th international conference on Web reasoning and rule systems
ELOG: a probabilistic reasoner for OWL EL
RR'11 Proceedings of the 5th international conference on Web reasoning and rule systems
Answering threshold queries in probabilistic datalog+/-ontologies
SUM'11 Proceedings of the 5th international conference on Scalable uncertainty management
Trust-based probabilistic query answering
WISE'11 Proceedings of the 12th international conference on Web information system engineering
Object-oriented Bayesian networks
UAI'97 Proceedings of the Thirteenth conference on Uncertainty in artificial intelligence
OMEN: a probabilistic ontology mapping tool
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
Repairing and reasoning with inconsistent and uncertain ontologies
Advances in Engineering Software
Providing an uncertainty reasoning service for semantic web application
APWeb'06 Proceedings of the 8th Asia-Pacific Web conference on Frontiers of WWW Research and Development
Type uncertainty in ontologically-grounded qualitative probabilistic matching
ECSQARU'05 Proceedings of the 8th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Fuzzy view-based semantic search
ASWC'06 Proceedings of the First Asian conference on The Semantic Web
Ontology with likeliness and typicality of objects in concepts
ER'06 Proceedings of the 25th international conference on Conceptual Modeling
Tightly integrated probabilistic description logic programs for representing ontology mappings
Annals of Mathematics and Artificial Intelligence
Data Mining and Knowledge Discovery
Cooperative situation assessment in a maritime scenario
International Journal of Intelligent Systems
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Three
Probabilistic reasoning in DL-lite
PRICAI'12 Proceedings of the 12th Pacific Rim international conference on Trends in Artificial Intelligence
A formal semantics for weighted ontology mappings
ISWC'12 Proceedings of the 11th international conference on The Semantic Web - Volume Part I
Uncertainty modeling for ontology-based mammography annotation with intelligent BI-RADS scoring
Computers in Biology and Medicine
Statistical relational data integration for information extraction
RW'13 Proceedings of the 9th international conference on Reasoning Web: semantic technologies for intelligent data access
Query answering under probabilistic uncertainty in Datalog+ / - ontologies
Annals of Mathematics and Artificial Intelligence
Hi-index | 0.00 |
Knowledge representation languages invariably reflect a trade-off between expressivity and tractability. Evidence suggests that the compromise chosen by description logics is a particularly successful one. However, description logiC (as for all vanants of first-order logic) is severely limited in its ability to express uncertainty. In this paper, we present P-CLASSIC, a probabilistic version of the description logiC CLASSIC. In addition to teoninological knowledge, the language utilizes Bayesian networks to express uncertainty about the basic properties of an individual, the number of fillers for its roles, and the properties of these fillers. We provide a semantics for P-CLASSIC and an effective inference procedure for probabilistic subsumption: computing the probability that a random individual in class C is also in class D. The effectiveness of the algorithm relies on independence assumptions and on our ability to execute lifted inference: reasoning about similar individuals as a group rather than as separate ground teons. We show that the complexity of the inference algorithm is the best that can be hoped for in a language that combines description logic with Bayesian networks. In particular, if we restrict to Bayesian networks that support polynomial time inference, the complexity of our inference procedure is also polynomial time.