Communications of the ACM
Generalized subsumption and its applications to induction and redundancy
Artificial Intelligence
Explanation-based generalisation = partial evaluation
Artificial Intelligence
A Polynomial Approach to the Constructive Induction of Structural Knowledge
Machine Learning - Special issue on evaluating and changing representation
The Learnability of Description Logics with Equality Constraints
Machine Learning - Special issue on computational learning theory, COLT'92
Machine Learning - Special issue on COLT '94
Logical settings for concept-learning
Artificial Intelligence
Combining Horn rules and description logics in CARIN
Artificial Intelligence
Scaling Up Inductive Logic Programming by Learning from Interpretations
Data Mining and Knowledge Discovery
IAAI '93 Proceedings of the The Fifth Conference on Innovative Applications of Artificial Intelligence
Generalizing Refinement Operators to Learn Prenex Conjunctive Normal Forms
ILP '99 Proceedings of the 9th International Workshop on Inductive Logic Programming
A Hybrid System with Datalog and Concept Languages
AI*IA Proceedings of the 2nd Congress of the Italian Association for Artificial Intelligence on Trends in Artificial Intelligence
ILP '96 Selected Papers from the 6th International Workshop on Inductive Logic Programming
A semantics and complete algorithm for subsumption in the classic description logic
Journal of Artificial Intelligence Research
Verification of knowledge bases based on containment checking
Artificial Intelligence
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
Foundations of Onto-Relational Learning
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
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
Mining the semantic web: a logic-based methodology
ISMIS'05 Proceedings of the 15th international conference on Foundations of Intelligent Systems
Principles of inductive reasoning on the semantic web: a framework for learning in AL-log
PPSWR'05 Proceedings of the Third international conference on Principles and Practice of Semantic Web Reasoning
Concept Induction in Description Logics Using Information-Theoretic Heuristics
International Journal on Semantic Web & Information Systems
AL-QuIn: An Onto-Relational Learning System for Semantic Web Mining
International Journal on Semantic Web & Information Systems
| Hi-index | 0.00 |
In this paper we investigate a new language for learning, which combines two well-known representation formalisms, Description Logics and Horn Clause Logics. Our goal is to study the feasability of learning in such a hybrid description - horn clause language, namely CARIN-ALN [LR98b], in the presence of hybrid background knowledge, including a Horn clause and a terminological component. After setting our learning framework, we present algorithms for testing example coverage and subsumption between two hypotheses, based on the existential entailment algorithm studied in[LR98b]. While the hybrid language is more expressive than horn clause logics alone, the complexity of these two steps for CARIN-ALN remains bounded by their respective complexity in horn clause logics.