AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Uncertainty and the Semantic Web
IEEE Intelligent Systems
Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family
Journal of Automated Reasoning
Scalable querying services over fuzzy ontologies
Proceedings of the 17th international conference on World Wide Web
Rewriting Conjunctive Queries over Description Logic Knowledge Bases
Semantics in Data and Knowledge Bases
nSPARQL: A Navigational Language for RDF
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
ELP: Tractable Rules for OWL 2
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
Description logic programs under probabilistic uncertainty and fuzzy vagueness
International Journal of Approximate Reasoning
A general datalog-based framework for tractable query answering over ontologies
Proceedings of the twenty-eighth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
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)
Reasoning within fuzzy description logics
Journal of Artificial Intelligence Research
Reasoning with very expressive fuzzy description logics
Journal of Artificial Intelligence Research
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Query Answering for OWL-DL with rules
Web Semantics: Science, Services and Agents on the World Wide Web
Reconciling description logics and rules
Journal of the ACM (JACM)
Well-founded semantics for description logic programs in the semantic web
ACM Transactions on Computational Logic (TOCL)
Ontological query answering via rewriting
ADBIS'11 Proceedings of the 15th international conference on Advances in databases and information systems
An approach to RDF(S) query, manipulation and inference on databases
WAIM'05 Proceedings of the 6th international conference on Advances in Web-Age Information Management
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
Efficient rule-based inferencing for OWL EL
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Three
Hi-index | 0.00 |
Ontologies are set to play a key role in many domains, especially in the context of the Semantic Web. Ontology languages are based on crisp logic and thus cannot handle imprecision. Fuzzy extensions of ontology languages become unuseful if they cannot be processed by applications. In fact, despite their inference capabilities over complex TBoxes, description logic reasoners have a high ABox reasoning complexity. That is, to retrieve the instances of a given concept, we need to run the reasoning algorithm for each individual in the ABox. In Datalog systems, query answers are computed in one pass: bottom-up or top-down. Motivated by this concern, we propose in this paper a Datalog based framework, named OntoFlex, for efficient query answering over fuzzy ontologies. The framework implements the FSAQL query language over Flora-2 and XSB Datalog systems and proposes a correct mapping of fuzzy RDFS and fuzzy OWL2EL into crisp Datalog programs.