The well-founded semantics for general logic programs
Journal of the ACM (JACM)
Fuzzy queries in multimedia database systems
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
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
Practical Reasoning for Expressive Description Logics
LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning
Fixpoint Characterizations for Many-Valued Disjunctive Logic Programs with Probabilistic Semantics
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
Many-Valued Disjunctive Logic Programs with Probabilistic Semantics
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
A proposal for an owl rules language
Proceedings of the 13th international conference on World Wide Web
Probabilistic description logic programs
International Journal of Approximate Reasoning
A Novel Combination of Answer Set Programming with Description Logics for the Semantic Web
ESWC '07 Proceedings of the 4th European conference on The Semantic Web: Research and Applications
DL-Lite: tractable description logics for ontologies
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Reasoning within fuzzy description logics
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
A uniform integration of higher-order reasoning and external evaluations in answer-set programming
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Effective integration of declarative rules with external evaluations for semantic-web reasoning
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
Towards a fuzzy description logic for the semantic web (preliminary report)
ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
Hi-index | 0.00 |
There are numerous semantic web applications where dealing with vagueness and imprecision plays an important role. Some examples of such applications are (i) multimedia information processing and retrieval, (ii) natural language interfaces to the Web, and (iii) ontology mapping and information retrieval. In this paper, towards dealing with vagueness and imprecision in the reasoning layers of the Semantic Web, we present an approach to normal fuzzy description logic programs under the answer set semantics, which are a generalization of normal description logic programs (dl-programs) under the answer set semantics by fuzzy vagueness and imprecision in both the description logic and the logic program component. We define a canonical semantics of positive and stratified fuzzy dl-programs in terms of a unique least model and iterative least models, respectively. We then define the answer set semantics of general fuzzy dl-programs, and show in particular that all answer sets of a fuzzy dl-program are minimal models, and that the answer set semantics of positive and stratified fuzzy dl-programs coincides with their canonical least model and iterative least model semantics, respectively. We also provide a characterization of the canonical semantics of positive and stratified fuzzy dl-programs in terms of a fixpoint and an iterative fixpoint semantics, respectively. Furthermore, we provide a reduction of fuzzy dl-programs under the answer set semantics to normal dl-programs under the answer set semantics. Finally, we also describe a special case of fuzzy dl-programs where query processing can be done in polynomial time in the data complexity.