The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
CEL: a polynomial-time reasoner for life science ontologies
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
Using SPARQL to test for lattices: application to quality assurance in biomedical ontologies
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part II
Unification in the description logic EL without the top concept
CADE'11 Proceedings of the 23rd international conference on Automated deduction
An extension of complex role inclusion axioms in the description logic SROIQ
IJCAR'10 Proceedings of the 5th international conference on Automated Reasoning
Consequence-based reasoning beyond horn ontologies
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
SAT encoding of unification in ELHR+ w.r.t. cycle-restricted ontologies
IJCAR'12 Proceedings of the 6th international joint conference on Automated Reasoning
Hi-index | 0.00 |
Reification of parthood relations according to the SEP-triplet encoding pattern has been employed in the clinical terminology SNOMED CT to simulate transitivity of the part-Ofrelation via transitivity of the is-arelation and to inherit properties along part-Oflinks. In this paper we argue that using a more expressive representation language, which allows for a direct representation of the relevant properties of the part-Ofrelation, makes modelling less error prone while having no adverse effect on the efficiency of reasoning.