Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
On prolog and the occur check problem
ACM SIGPLAN Notices
Unifying Reasoning and Search to Web Scale
IEEE Internet Computing
Cheap Boolean Role Constructors for Description Logics
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
Managing uncertainty and vagueness in description logics for the Semantic Web
Web Semantics: Science, Services and Agents on the World Wide Web
What Is Approximate Reasoning?
RR '08 Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems
Approximate OWL-Reasoning with Screech
RR '08 Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems
Statistical Learning for Inductive Query Answering on OWL Ontologies
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
Laconic and Precise Justifications in OWL
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
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Representing ontologies using description logics, description graphs, and rules
Artificial Intelligence
Foundations of Semantic Web Technologies
Foundations of Semantic Web Technologies
A Preferential Tableaux Calculus for Circumscriptive ${\mathcal ALCO}$
RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
Paraconsistent Reasoning for OWL 2
RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
Query Answering for OWL-DL with rules
Web Semantics: Science, Services and Agents on the World Wide Web
What's happening in semantic web: and what FCA could have to do with it
ICFCA'11 Proceedings of the 9th international conference on Formal concept analysis
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
Hi-index | 0.00 |
The realization of Semantic Web reasoning is central to substantiating the Semantic Web vision. However, current mainstream research on this topic faces serious challenges, which force us to question established lines of research and to rethink the underlying approaches.