Artificial Intelligence
Constraint propagation with imprecise conditional probabilities
Proceedings of the seventh conference (1991) on Uncertainty in artificial intelligence
On the consistency of defeasible databases
Artificial Intelligence
Anytime deduction for probabilistic logic
Artificial Intelligence
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
ACM Transactions on Database Systems (TODS)
A data model and algebra for probabilistic complex values
Annals of Mathematics and Artificial Intelligence
Probabilistic Default Reasoning with Conditional Constraints
Annals of Mathematics and Artificial Intelligence
OIL: An Ontology Infrastructure for the Semantic Web
IEEE Intelligent Systems
DAML+OIL: A Reason-able Web Ontology Language
EDBT '02 Proceedings of the 8th International Conference on Extending Database Technology: Advances in Database Technology
Practical Reasoning for Expressive Description Logics
LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning
Probabilistic Logic Programming under Inheritance with Overriding
UAI '01 Proceedings of the 17th Conference in Uncertainty in Artificial Intelligence
Reviewing the design of DAML+OIL: an ontology language for the semantic web
Eighteenth national conference on Artificial intelligence
Reasoning within fuzzy description logics
Journal of Artificial Intelligence Research
Probabilistic deduction with conditional constraints over basic events
Journal of Artificial Intelligence Research
Generalizing term subsumption languages to fuzzy logic
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Ontology reasoning in the SHOQ(D) description logic
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
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
Annals of Mathematics and Artificial Intelligence
Weak nonmonotonic probabilistic logics
Artificial Intelligence
International Journal of Approximate Reasoning
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
Expressive probabilistic description logics
Artificial Intelligence
A family of Extended Fuzzy Description Logics
International Journal of Business Intelligence and Data Mining
Probabilistic logic with independence
International Journal of Approximate Reasoning
Probabilistic description logic programs under inheritance with overriding for the Semantic Web
International Journal of Approximate Reasoning
Social acquisition of ontologies from communication processes
Applied Ontology - Formal Ontologies for Communicating Agents
Tractable Probabilistic Description Logic Programs
SUM '07 Proceedings of the 1st international conference on Scalable Uncertainty Management
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
Reasoning about Typicality in Preferential Description Logics
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
International Journal of Metadata, Semantics and Ontologies
Extending Description Logics with Uncertainty Reasoning in Possibilistic Logic
ECSQARU '07 Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Managing uncertainty and vagueness in description logics for the Semantic Web
Web Semantics: Science, Services and Agents on the World Wide Web
Reasoning within extended fuzzy description logic
Knowledge-Based Systems
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
An Approach to Probabilistic Data Integration for the Semantic Web
Uncertainty Reasoning for the Semantic Web I
Rule-Based Approaches for Representing Probabilistic Ontology Mappings
Uncertainty Reasoning for the Semantic Web I
PR-OWL: A Bayesian Ontology Language for the Semantic Web
Uncertainty Reasoning for the Semantic Web I
An Approach to Description Logic with Support for Propositional Attitudes and Belief Fusion
Uncertainty Reasoning for the Semantic Web I
Uncertainty Reasoning for Ontologies with General TBoxes in Description Logic
Uncertainty Reasoning for the Semantic Web I
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
Uncertainty in the Semantic Web
SUM '09 Proceedings of the 3rd International Conference on Scalable Uncertainty Management
Partial matchmaking using approximate subsumption
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Reasoning with very expressive fuzzy description logics
Journal of Artificial Intelligence Research
Weak nonmonotonic probabilistic logics
Artificial Intelligence
Query Evaluation on Probabilistic RDF Databases
WISE '09 Proceedings of the 10th International Conference on Web Information Systems Engineering
Uncertainty Reasoning for the Semantic Web
RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
ALC + T: a Preferential Extension of Description Logics
Fundamenta Informaticae - Advances in Computational Logic (CIL C08)
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
Preferential description logics
LPAR'07 Proceedings of the 14th international conference on Logic for programming, artificial intelligence and 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
Mapping validation by probabilistic reasoning
ESWC'08 Proceedings of the 5th European semantic web conference on The semantic web: research and applications
Combining description logics and Horn rules with uncertainty in ARTIGENCE
Knowledge-Based Systems
Semantic representation of multimedia content
Knowledge-driven multimedia information extraction and ontology evolution
Probabilistic-logical web data integration
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
Empirical merging of ontologies: a proposal of universal uncertainty representation framework
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
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
Reasoning technique for extended fuzzy ALCQ
ICCSA'06 Proceedings of the 2006 international conference on Computational Science and Its Applications - Volume Part II
Extended fuzzy ALCN and its tableau algorithm
FSKD'05 Proceedings of the Second international conference on Fuzzy Systems and Knowledge Discovery - Volume Part I
Probabilistic description logic programs
ECSQARU'05 Proceedings of the 8th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
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
Annotated Probabilistic Temporal Logic: Approximate Fixpoint Implementation
ACM Transactions on Computational Logic (TOCL)
Tightly integrated probabilistic description logic programs for representing ontology mappings
Annals of Mathematics and Artificial Intelligence
Data Mining and Knowledge Discovery
Social acquisition of ontologies from communication processes
Applied Ontology - Formal Ontologies for Communicating Agents
ALC + T: a Preferential Extension of Description Logics
Fundamenta Informaticae - Advances in Computational Logic (CIL C08)
A non-monotonic Description Logic for reasoning about typicality
Artificial Intelligence
International Journal of Approximate Reasoning
Statistical relational data integration for information extraction
RW'13 Proceedings of the 9th international conference on Reasoning Web: semantic technologies for intelligent data access
Hi-index | 0.00 |
Ontologies play a central role in the development of the semantic web, as they provide precise definitions of shared terms in web resources. One important web ontology language is DAML+OIL; it has a formal semantics and a reasoning support through a mapping to the expressive description logic SHOQ(D) with the addition of inverse roles. In this paper, we present a probabilistic extension of SHOQ(D), called P-SHOQ(D), to allow for dealing with probabilistic ontologies in the semantic web. The description logic P-SHOQ(D) is based on the notion of probabilistic lexicographic entailment from probabilistic default reasoning. It allows to express rich probabilistic knowledge about concepts and instances, as well as default knowledge about concepts. We also present sound and complete reasoning techniques for P-SHOQ(D), which are based on reductions to classical reasoning in SHOQ(D) and to linear programming, and which show in particular that reasoning in P-SHOQ(D) is decidable.