Attributive concept descriptions with complements
Artificial Intelligence
A translation approach to portable ontology specifications
Knowledge Acquisition - Special issue: Current issues in knowledge modeling
Weaving the Web: The Original Design and Ultimate Destiny of the World Wide Web by Its Inventor
Weaving the Web: The Original Design and Ultimate Destiny of the World Wide Web by Its Inventor
A Parametric Approach to Deductive Databases with Uncertainty
IEEE Transactions on Knowledge and Data Engineering
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
Probabilistic description logic programs
International Journal of Approximate Reasoning
Probabilistic description logic programs under inheritance with overriding for the Semantic Web
International Journal of Approximate Reasoning
Handbook of Knowledge Representation
Handbook of Knowledge Representation
General Concept Inclusions in Fuzzy Description Logics
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Reasoning within fuzzy description logics
Journal of Artificial Intelligence Research
Reasoning with very expressive fuzzy description logics
Journal of Artificial Intelligence Research
A correspondence theory for terminological logics: preliminary report
IJCAI'91 Proceedings of the 12th 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
Fuzzy ontology representation using OWL 2
International Journal of Approximate Reasoning
DeLorean: A reasoner for fuzzy OWL 2
Expert Systems with Applications: An International Journal
Generalized fuzzy rough description logics
Information Sciences: an International Journal
On the combination of logical and probabilistic models for information analysis
Applied Intelligence
Hi-index | 0.00 |
Description logics (DLs) play an important role in the Semantic Web as the foundation of ontology language OWL DL. On the other hand, uncertainty is a form of deficiency or imperfection commonly found in real-world information/data. In this paper, we present a framework for knowledge bases with uncertainty expressed in the description logic ALC"U, which is a propositionally complete representation language providing conjunction, disjunction, existential and universal quantifications, and full negation. The proposed framework is equipped with a constraint-based reasoning procedure that derives a collection of assertions as well as a set of linear/nonlinear constraints that encode the semantics of the uncertainty knowledge base. The interesting feature of our approach is that, by simply tuning the combination functions that generate the constraints, different notions of uncertainty can be modeled and reasoned with, using a single reasoning procedure. We establish soundness, completeness, and termination of the reasoning procedure. Detailed explanations and examples are included to describe the proposed completion rules.