Logic programming and databases
Logic programming and databases
Attributive concept descriptions with complements
Artificial Intelligence
On the relative expressiveness of description logics and predicate logics
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
ACM SIGKDD Explorations Newsletter
Foundations of Inductive Logic Programming
Foundations of Inductive Logic Programming
Levelwise Search and Borders of Theories in KnowledgeDiscovery
Data Mining and Knowledge Discovery
The Knowledge Model of Protégé-2000: Combining Interoperability and Flexibility
EKAW '00 Proceedings of the 12th European Workshop on Knowledge Acquisition, Modeling and Management
Clustering Ontology-Based Metadata in the Semantic Web
PKDD '02 Proceedings of the 6th European Conference on Principles of Data Mining and Knowledge Discovery
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
The evolution of Protégé: an environment for knowledge-based systems development
International Journal of Human-Computer Studies
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
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
Combining safe rules and ontologies by interfacing of reasoners
PPSWR'06 Proceedings of the 4th international conference on Principles and Practice of Semantic Web Reasoning
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
Building rules on top of ontologies for the semantic web with inductive logic programming
Theory and Practice of Logic Programming
Towards Machine Learning on the Semantic Web
Uncertainty Reasoning for the Semantic Web I
Inducing and storing generalised evidences using semantic web formalisms
HIKM '12 Proceedings of the Fifth Australasian Workshop on Health Informatics and Knowledge Management - Volume 129
| Hi-index | 0.00 |
Mining the layers of ontologies and rules provides an interesting testbed for inductive reasoning on the Semantic Web. Systems based on Inductive Logic Programming (ILP) could serve the purpose if they were more compliant with the standards of representation for ontologies and rules in the Semantic Web and/or interoperable with well-established tools for Ontological Engineering (OE) that support these standards. In this paper we present a middleware, $\mathcal{SW}\textsc{ing}$, that integrates the ILP system $\mathcal{AL}$-QuIn and the OE tool Protégé-2000 in order to enable Semantic Web Mining applications of $\mathcal{AL}$-QuIn. This showcase highlights practical issues of performing induction on the Semantic Web.