Artificial Intelligence
Journal of Complexity
A logic for reasoning about probabilities
Information and Computation - Selections from 1988 IEEE symposium on logic in computer science
Nonmonotonic reasoning, preferential models and cumulative logics
Artificial Intelligence
Constraint propagation with imprecise conditional probabilities
Proceedings of the seventh conference (1991) on Uncertainty in artificial intelligence
A catalog of complexity classes
Handbook of theoretical computer science (vol. A)
On the consistency of defeasible databases
Artificial Intelligence
What does a conditional knowledge base entail?
Artificial Intelligence
Conditional entailment: bridging two approaches to default reasoning
Artificial Intelligence
A taxonomy of complexity classes of functions
Journal of Computer and System Sciences
Anytime deduction for probabilistic logic
Artificial Intelligence
Computing functions with parallel queries to NP
Theoretical Computer Science
On the hardness of approximate reasoning
Artificial Intelligence
Qualitative probabilities for default reasoning, belief revision, and causal modeling
Artificial Intelligence
Nonmonotonic reasoning, conditional objects and possibility theory
Artificial Intelligence
Belief functions and default reasoning
Artificial Intelligence
Default reasoning from conditional knowledge bases: complexity and tractable cases
Artificial Intelligence
Probabilistic logic programming with conditional constraints
ACM Transactions on Computational Logic (TOCL)
Default Reasoning: Causal and Conditional Theories
Default Reasoning: Causal and Conditional Theories
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
Probabilistic Default Reasoning with Conditional Constraints
Annals of Mathematics and Artificial Intelligence
A Maximum Entropy Approach to Nonmonotonic Reasoning
IEEE Transactions on Pattern Analysis and Machine Intelligence
Probabilistic Logic Programming under Inheritance with Overriding
UAI '01 Proceedings of the 17th Conference in Uncertainty in Artificial Intelligence
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
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: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
A Probabilistic Extension to Ontology Language OWL
HICSS '04 Proceedings of the Proceedings of the 37th Annual Hawaii International Conference on System Sciences (HICSS'04) - Track 4 - Volume 4
TOSS: an extension of TAX with ontologies and similarity queries
SIGMOD '04 Proceedings of the 2004 ACM SIGMOD international conference on Management of data
A method for modeling uncertainty in semantic web taxonomies
Proceedings of the 13th international World Wide Web conference on Alternate track papers & posters
System Z: a natural ordering of defaults with tractable applications to nonmonotonic reasoning
TARK '90 Proceedings of the 3rd conference on Theoretical aspects of reasoning about knowledge
A Probabilistic XML Approach to Data Integration
ICDE '05 Proceedings of the 21st International Conference on Data Engineering
Spinning the Semantic Web: Bringing the World Wide Web to Its Full Potential
Spinning the Semantic Web: Bringing the World Wide Web to Its Full Potential
Complexity of the Two-Variable Fragment with Counting Quantifiers
Journal of Logic, Language and Information
Bayesian semantics for the semantic web
Bayesian semantics for the semantic web
Probabilistic logic under coherence: complexity and algorithms
Annals of Mathematics and Artificial Intelligence
Weak nonmonotonic probabilistic logics
Artificial Intelligence
OntoBayes: An Ontology-Driven Uncertainty Model
CIMCA '05 Proceedings of the International Conference on Computational Intelligence for Modelling, Control and Automation and International Conference on Intelligent Agents, Web Technologies and Internet Commerce Vol-1 (CIMCA-IAWTIC'06) - Volume 01
Principles of dataspace systems
Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web
RULEML '06 Proceedings of the Second International Conference on Rules and Rule Markup Languages for the Semantic Web
Ontology Matching
International Journal of Approximate Reasoning
Probabilistic description logic programs
International Journal of Approximate Reasoning
A Tableau Decision Procedure for $\mathcal{SHOIQ}$
Journal of Automated Reasoning
Variable-strength conditional preferences for ranking objects in ontologies
Web Semantics: Science, Services and Agents on the World Wide Web
Tractable Probabilistic Description Logic Programs
SUM '07 Proceedings of the 1st international conference on Scalable Uncertainty Management
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)
DL-Lite: tractable description logics for ontologies
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Abductive matchmaking using description logics
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Models and algorithms for probabilistic and Bayesian logic
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Tightly integrated probabilistic description logic programs for the semantic web
ICLP'07 Proceedings of the 23rd international conference on Logic programming
P-CLASSIC: a tractable probablistic description logic
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
OMEN: a probabilistic ontology mapping tool
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
A bayesian network approach to ontology mapping
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
Probabilistic ontologies and relational databases
OTM'05 Proceedings of the 2005 Confederated international conference on On the Move to Meaningful Internet Systems - Volume >Part I
FaCT++ description logic reasoner: system description
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
Loopy Propagation in a Probabilistic Description Logic
SUM '08 Proceedings of the 2nd international conference on Scalable Uncertainty Management
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
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
A Tableau Algorithm for Possibilistic Description Logic $\mathcal{ALC}$
ASWC '08 Proceedings of the 3rd Asian Semantic Web Conference on The Semantic Web
Semantic Science: Ontologies, Data and Probabilistic Theories
Uncertainty Reasoning for the Semantic Web I
An Approach to Probabilistic Data Integration for the Semantic Web
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
Reasoning within intuitionistic fuzzy rough description logics
Information Sciences: an International Journal
ReduCE: A Reduced Coulomb Energy Network Method for Approximate Classification
ESWC 2009 Heraklion Proceedings of the 6th European Semantic Web Conference on The Semantic Web: Research and Applications
Tightly Coupled Probabilistic Description Logic Programs for the Semantic Web
Journal on Data Semantics XII
Uncertainty in the Semantic Web
SUM '09 Proceedings of the 3rd International Conference on Scalable Uncertainty Management
On Improving the Scalability of Checking Satisfiability in Probabilistic Description Logics
SUM '09 Proceedings of the 3rd International Conference on Scalable Uncertainty Management
Fuzzy description logics with general t-norms and datatypes
Fuzzy Sets and Systems
Reasoning within expressive fuzzy rough description logics
Fuzzy Sets and Systems
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Uncertainty Reasoning for the Semantic Web
RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
Expressive fuzzy description logics over lattices
Knowledge-Based Systems
Granular computing applied to ontologies
International Journal of Approximate Reasoning
Tightly integrated probabilistic description logic programs for representing ontology mappings
FoIKS'08 Proceedings of the 5th international conference on Foundations of information and knowledge systems
Representation and reasoning of context-dependant knowledge in distributed fuzzy ontologies
Expert Systems with Applications: An International Journal
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
Semantic mapping with a probabilistic description logic
SBIA'10 Proceedings of the 20th Brazilian conference on Advances in artificial intelligence
Modeling and querying probabilistic RDFS data sets with correlated triples
APWeb'11 Proceedings of the 13th Asia-Pacific web conference on Web technologies and applications
A hybrid method for probabilistic satisfiability
CADE'11 Proceedings of the 23rd international conference on Automated deduction
Conjunctive query answering in probabilistic datalog+/- ontologies
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
Trends and issues in description logics frameworks for image interpretation
SETN'10 Proceedings of the 6th Hellenic conference on Artificial Intelligence: theories, models and applications
PossDL — a possibilistic DL reasoner for uncertainty reasoning and inconsistency handling
ESWC'10 Proceedings of the 7th international conference on The Semantic Web: research and Applications - Volume Part II
Using sums-of-products for non-standard reasoning
LATA'10 Proceedings of the 4th international conference on Language and Automata Theory and Applications
Learning probabilistic description logics: a framework and algorithms
MICAI'11 Proceedings of the 10th Mexican international conference on Advances in Artificial Intelligence - Volume Part I
Tightly integrated probabilistic description logic programs for representing ontology mappings
Annals of Mathematics and Artificial Intelligence
Cooperative situation assessment in a maritime scenario
International Journal of Intelligent Systems
Description logics and fuzzy probability
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
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
The Consistency of the Medical Expert System CADIAG-2: A Probabilistic Approach
Journal of Information Technology Research
A probabilistic ontological framework for the recognition of multilevel human activities
Proceedings of the 2013 ACM international joint conference on Pervasive and ubiquitous computing
Probabilistic satisfiability and coherence checking through integer programming
ECSQARU'13 Proceedings of the 12th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
BUNDLE: a reasoner for probabilistic ontologies
RR'13 Proceedings of the 7th international conference on Web Reasoning and Rule Systems
International Journal of Approximate Reasoning
Query answering under probabilistic uncertainty in Datalog+ / - ontologies
Annals of Mathematics and Artificial Intelligence
Defeasible inheritance-based description logics
Journal of Artificial Intelligence Research
Hi-index | 0.00 |
The work in this paper is directed towards sophisticated formalisms for reasoning under probabilistic uncertainty in ontologies in the Semantic Web. Ontologies play a central role in the development of the Semantic Web, since they provide a precise definition of shared terms in web resources. They are expressed in the standardized web ontology language OWL, which consists of the three increasingly expressive sublanguages OWL Lite, OWL DL, and OWL Full. The sublanguages OWL Lite and OWL DL have a formal semantics and a reasoning support through a mapping to the expressive description logics SHIF(D) and SHOIN(D), respectively. In this paper, we present the expressive probabilistic description logics P-SHIF(D) and P-SHOIN(D), which are probabilistic extensions of these description logics. They allow for expressing rich terminological probabilistic knowledge about concepts and roles as well as assertional probabilistic knowledge about instances of concepts and roles. They are semantically based on the notion of probabilistic lexicographic entailment from probabilistic default reasoning, which naturally interprets this terminological and assertional probabilistic knowledge as knowledge about random and concrete instances, respectively. As an important additional feature, they also allow for expressing terminological default knowledge, which is semantically interpreted as in Lehmann's lexicographic entailment in default reasoning from conditional knowledge bases. Another important feature of this extension of SHIF(D) and SHOIN(D) by probabilistic uncertainty is that it can be applied to other classical description logics as well. We then present sound and complete algorithms for the main reasoning problems in the new probabilistic description logics, which are based on reductions to reasoning in their classical counterparts, and to solving linear optimization problems. In particular, this shows the important result that reasoning in the new probabilistic description logics is decidable/computable. Furthermore, we also analyze the computational complexity of the main reasoning problems in the new probabilistic description logics in the general as well as restricted cases.