Building rules on top of ontologies for the semantic web with inductive logic programming
Theory and Practice of Logic Programming
Minimal Deductive Systems for RDF
ESWC '07 Proceedings of the 4th European conference on The Semantic Web: Research and Applications
Tractable Reasoning with Bayesian Description Logics
SUM '08 Proceedings of the 2nd international conference on Scalable Uncertainty Management
Theory and Practice of Logic Programming
Logical foundations of RDF(S) with datatypes
Journal of Artificial Intelligence Research
Tractable reasoning problems with fully-characterized association rules
ADBIS'12 Proceedings of the 16th East European conference on Advances in Databases and Information Systems
Hi-index | 0.00 |
We present a vocabulary expansion of RDFS, which admits the assertion of rules that hold on associations among sets ofRDFS classes, and we give an actual-world semantics to statements in the language expansion that properly captures the meaning commonly given to association rules w.r.t. context, support and confidence, while interacting with class subsumptions and instance typing. In addition, we exhibit a sound and complete procedure for the association rule entailment problem.