Existence and nonexistence of complete refinement operators
ECML-94 Proceedings of the European conference on machine learning on Machine Learning
Foundations of Inductive Logic Programming
Foundations of Inductive Logic Programming
Efficient algorithms for minimizing tree pattern queries
Proceedings of the 2002 ACM SIGMOD international conference on Management of data
Tractable and Decidable Fragments of Conceptual Graphs
ICCS '99 Proceedings of the 7th International Conference on Conceptual Structures: Standards and Practices
A Refinement Operator for Description Logics
ILP '00 Proceedings of the 10th International Conference on Inductive Logic Programming
Downward Refinement in the ALN Description Logic
HIS '04 Proceedings of the Fourth International Conference on Hybrid Intelligent Systems
An algorithm based on counterfactuals for concept learning in the Semantic Web
Applied Intelligence
Artificial Intelligence in Medicine
Hybrid Learning of Ontology Classes
MLDM '07 Proceedings of the 5th international conference on Machine Learning and Data Mining in Pattern Recognition
Spaces of theories with ideal refinement operators
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Non-standard inferences in description logics
Non-standard inferences in description logics
A refinement operator based learning algorithm for the ALC description logic
ILP'07 Proceedings of the 17th international conference on Inductive logic programming
Foundations of refinement operators for description logics
ILP'07 Proceedings of the 17th international conference on Inductive logic programming
AutoSPARQL: let users query your knowledge base
ESWC'11 Proceedings of the 8th extended semantic web conference on The semantic web: research and applications - Volume Part I
Fr-ONT: an algorithm for frequent concept mining with formal ontologies
ISMIS'11 Proceedings of the 19th international conference on Foundations of intelligent systems
Using ontologies in semantic data mining with SEGS and g-SEGS
DS'11 Proceedings of the 14th international conference on Discovery science
Measuring similarity in description logics using refinement operators
ICCBR'11 Proceedings of the 19th international conference on Case-Based Reasoning Research and Development
Concept learning for EL++ by refinement and reinforcement
PRICAI'12 Proceedings of the 12th Pacific Rim international conference on Trends in Artificial Intelligence
Universal OWL axiom enrichment for large knowledge bases
EKAW'12 Proceedings of the 18th international conference on Knowledge Engineering and Knowledge Management
| Hi-index | 0.00 |
With the proliferation of the Semantic Web, there has been a rapidly rising interest in description logics, which form the logical foundation of the W3C standard ontology language OWL. While the number of OWL knowledge bases grows, there is an increasing demand for tools assisting knowledge engineers in building up and maintaining their structure. For this purpose, concept learning algorithms based on refinement operators have been investigated. In this paper, we provide an ideal refinement operator for the description logic EL and show that it is computationally feasible on large knowledge bases.