Generalized subsumption and its applications to induction and redundancy
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
On the relative expressiveness of description logics and predicate logics
Artificial Intelligence
Machine Learning - special issue on inductive logic programming
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)
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
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
ILP '99 Proceedings of the 9th International Workshop on Inductive Logic Programming
ILP '00 Proceedings of the 10th International Conference on Inductive Logic Programming
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
Inducing Multi-Level Association Rules from Multiple Relations
Machine Learning
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
ECML '07 Proceedings of the 18th European conference on Machine Learning
DL-FOIL Concept Learning in Description Logics
ILP '08 Proceedings of the 18th international conference on Inductive Logic Programming
Towards Machine Learning on the Semantic Web
Uncertainty Reasoning for the Semantic Web I
Semantic enrichment of places: Ontology learning from web
International Journal of Knowledge-based and Intelligent Engineering Systems - Intelligent agents and services for smart environments
Ontology population and enrichment: state of the art
Knowledge-driven multimedia information extraction and ontology evolution
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
Lazy learning from terminological knowledge bases
ISMIS'06 Proceedings of the 16th international conference on Foundations of Intelligent Systems
| Hi-index | 0.00 |
The design of the logical layer of the Semantic Web, and subsequently of the mark-up language SWRL, has renewed the interest in hybrid knowledge representation and reasoning. In this paper we discuss principles of inductive reasoning for this layer. To this aim we provide a general framework for learning in ${\mathcal AL}$-log, a hybrid language that integrates the description logic ${\mathcal ALC}$ and the function-free Horn clausal language Datalog, thus turning out to be a small yet sufficiently expressive subset of SWRL. In this framework inductive hypotheses are represented as constrained Datalog clauses, organized according to the ${\mathcal B}$-subsumption relation, and evaluated against observations by applying coverage relations that depend on the representation chosen for the observations. The framework is valid whatever the scope of induction (description vs. prediction) is. Yet, for illustrative purposes, we concentrate on an instantiation of the framework which supports description.