IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Logical properties of foundational relations in bio-ontologies
Artificial Intelligence in Medicine
AOW '06 Proceedings of the second Australasian workshop on Advances in ontologies - Volume 72
Replacing SEP-Triplets in SNOMED CT Using Tractable Description Logic Operators
AIME '07 Proceedings of the 11th conference on Artificial Intelligence in Medicine
Pinpointing in the Description Logic $\mathcal {EL}^+$
KI '07 Proceedings of the 30th annual German conference on Advances in Artificial Intelligence
Individual Reuse in Description Logic Reasoning
IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
The Logical Difference Problem for Description Logic Terminologies
IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
Parallel Computation Techniques for Ontology Reasoning
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
Improving the Use, Analysis and Integration of Patient Health Data
Advanced Web and NetworkTechnologies, and Applications
Exploring Finite Models in the Description Logic ${\mathcal {EL}}_{\rm gfp}$
ICFCA '09 Proceedings of the 7th International Conference on Formal Concept Analysis
Semantic Modularity and Module Extraction in Description Logics
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Journal of Artificial Intelligence Research
FQAS '09 Proceedings of the 8th International Conference on Flexible Query Answering Systems
Journal of Ambient Intelligence and Smart Environments
Incremental Classification of Description Logics Ontologies
Journal of Automated Reasoning
Matching in hybrid terminologies
LPAR'07 Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning
A finite basis for the set of ƐL-implications holding in a finite model
ICFCA'08 Proceedings of the 6th international conference on Formal concept analysis
Module extraction and incremental classification: a pragmatic approach for ƐL+ ontologies
ESWC'08 Proceedings of the 5th European semantic web conference on The semantic web: research and applications
Reasoning and explanation in EL and in expressive description logics
ReasoningWeb'10 Proceedings of the 6th international conference on Semantic technologies for software engineering
EL with default attributes and overriding
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
Semantic web reasoners and languages
Artificial Intelligence Review
Scalable clone detection using description logic
Proceedings of the 5th International Workshop on Software Clones
A practical approach for computing generalization inferences in EL
ESWC'11 Proceedings of the 8th extended semantic web conference on The semantic web: research and applications - Volume Part I
Rule-based OWL reasoning for specific embedded devices
ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part II
An approach to exploring description logic knowledge bases
ICFCA'10 Proceedings of the 8th international conference on Formal Concept Analysis
Context-dependent views to axioms and consequences of Semantic Web ontologies
Web Semantics: Science, Services and Agents on the World Wide Web
Using sums-of-products for non-standard reasoning
LATA'10 Proceedings of the 4th international conference on Language and Automata Theory and Applications
Datalog for security, privacy and trust
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
A general Datalog-based framework for tractable query answering over ontologies
Web Semantics: Science, Services and Agents on the World Wide Web
Efficient rule-based inferencing for OWL EL
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Three
Semantic Web
Journal of Ambient Intelligence and Smart Environments
MORe: modular combination of OWL reasoners for ontology classification
ISWC'12 Proceedings of the 11th international conference on The Semantic Web - Volume Part I
Performance heterogeneity and approximate reasoning in description logic ontologies
ISWC'12 Proceedings of the 11th international conference on The Semantic Web - Volume Part I
Very large scale OWL reasoning through distributed computation
ISWC'12 Proceedings of the 11th international conference on The Semantic Web - Volume Part II
Data complexity of query answering in description logics
Artificial Intelligence
Predicting knowledge in an ontology stream
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Hi-index | 0.00 |
CEL (Classifier for ${\mathcal{E}{L}}$) is a reasoner for the small description logic ${\mathcal{E}{L}}^+$ which can be used to compute the subsumption hierarchy induced by ${\mathcal{E}{L}}^+$ ontologies. The most distinguishing feature of CEL is that, unlike all other modern DL reasoners, it is based on a polynomial-time subsumption algorithm, which allows it to process very large ontologies in reasonable time. In spite of its restricted expressive power, ${\mathcal{E}{L}}^+$ is well-suited for formulating life science ontologies.