Generalized subsumption and its applications to induction and redundancy
Artificial Intelligence
Models of incremental concept formation
Artificial Intelligence
Logic programming and databases
Logic programming and databases
Attributive concept descriptions with complements
Artificial Intelligence
The substitutional framework for sorted deduction: fundamental results on hybrid reasoning
Artificial Intelligence - Special issue on knowledge representation
Thoughts and afterthoughts on the 1988 Workshop on Principles of Hybrid Reasoning
AI Magazine - Reports from three of the 1990 Spring symposia and eight workshops held over the past two years
A translation approach to portable ontology specifications
Knowledge Acquisition - Special issue: Current issues in knowledge modeling
First-order jk-clausal theories are PAC-learnable
Artificial Intelligence
On the relative expressiveness of description logics and predicate logics
Artificial Intelligence
Machine Learning - special issue on inductive logic programming
Logical settings for concept-learning
Artificial Intelligence
Combining Horn rules and description logics in CARIN
Artificial Intelligence
{\cal A}{\cal L}-log: Integrating Datalog and Description Logics
Journal of Intelligent Information Systems
Equality and Domain Closure in First-Order Databases
Journal of the ACM (JACM)
Foundations of Inductive Logic Programming
Foundations of Inductive Logic Programming
Levelwise Search and Borders of Theories in KnowledgeDiscovery
Data Mining and Knowledge Discovery
Scaling Up Inductive Logic Programming by Learning from Interpretations
Data Mining and Knowledge Discovery
On Clustering Validation Techniques
Journal of Intelligent Information Systems
Mining Multiple-Level Association Rules in Large Databases
IEEE Transactions on Knowledge and Data Engineering
Machine Learning and Concept Formation
Machine Learning
Knowledge Acquisition Via Incremental Conceptual Clustering
Machine Learning
Clustering Ontology-Based Metadata in the Semantic Web
PKDD '02 Proceedings of the 6th European Conference on Principles of Data Mining and Knowledge Discovery
Learning in Clausal Logic: A Perspective on Inductive Logic Programming
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Hierarchical Conceptual Clustering in a First Order Representation
ISMIS '96 Proceedings of the 9th International Symposium on Foundations of Intelligent Systems
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
Ontological Engineering
Inducing Multi-Level Association Rules from Multiple Relations
Machine Learning
Handbook on Ontologies (International Handbooks on Information Systems)
Handbook on Ontologies (International Handbooks on Information Systems)
On the Missing Link Between Frequent Pattern Discovery and Concept Formation
Inductive Logic Programming
Two Orthogonal Biases for Choosing the Intensions of Emerging Concepts in Ontology Refinement
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
On the decidability and complexity of integrating ontologies and rules
Web Semantics: Science, Services and Agents on the World Wide Web
Learnability of description logic programs
ILP'02 Proceedings of the 12th international conference on Inductive logic programming
Practice of inductive reasoning on the semantic web: a system for semantic web mining
PPSWR'06 Proceedings of the 4th international conference on Principles and Practice of Semantic Web Reasoning
On how to perform a gold standard based evaluation of ontology learning
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
Foundations of Onto-Relational Learning
ILP '08 Proceedings of the 18th international conference on Inductive Logic Programming
Inductive logic programming in databases: From datalog to $\mathcal{dl}+log}^{\neg\vee}$
Theory and Practice of Logic Programming
Logic programming languages for databases and the web
A 25-year perspective on logic programming
ORE - a tool for repairing and enriching knowledge bases
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part II
Class expression learning for ontology engineering
Web Semantics: Science, Services and Agents on the World Wide Web
Creating knowledge out of interlinked data: making the web a data washing machine
Proceedings of the International Conference on Web Intelligence, Mining and Semantics
Introduction to linked data and its lifecycle on the web
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
RDF semantics for web association rules
RR'11 Proceedings of the 5th international conference on Web reasoning and rule systems
DC proposal: ontology learning from noisy linked data
ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part II
An approach to parallel class expression learning
RuleML'12 Proceedings of the 6th international conference on Rules on the Web: research and applications
Universal OWL axiom enrichment for large knowledge bases
EKAW'12 Proceedings of the 18th international conference on Knowledge Engineering and Knowledge Management
AL-QuIn: An Onto-Relational Learning System for Semantic Web Mining
International Journal on Semantic Web & Information Systems
AMIE: association rule mining under incomplete evidence in ontological knowledge bases
Proceedings of the 22nd international conference on World Wide Web
Introduction to linked data and its lifecycle on the web
RW'13 Proceedings of the 9th international conference on Reasoning Web: semantic technologies for intelligent data access
| Hi-index | 0.00 |
Building rules on top of ontologies is the ultimate goal of the logical layer of the Semantic Web. To this aim, an ad-hoc markup language for this layer is currently under discussion. It is intended to follow the tradition of hybrid knowledge representation and reasoning systems, such as $\mathcal{AL}$-log that integrates the description logic $\mathcal{ALC}$ and the function-free Horn clausal language Datalog. In this paper, we consider the problem of automating the acquisition of these rules for the Semantic Web. We propose a general framework for rule induction that adopts the methodological apparatus of Inductive Logic Programming and relies on the expressive and deductive power of $\mathcal{AL}$-log. The framework is valid whatever the scope of induction (description versus prediction) is. Yet, for illustrative purposes, we also discuss an instantiation of the framework which aims at description and turns out to be useful in Ontology Refinement.