Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 3 of 3 for “"Description logic (DL)"”.
-
Defeasible justification for the KLM Framework
… (AI) as they allow AI systems to conduct logical reasoning. Most classical logics, such as Propositional Logic (PL), are monotonic, which means that adding new knowledge to a knowledge base cannot cause the retraction of a previously drawn conclusion. These classical logics cannot easily …
-
Extensions of SNOMED taxonomy abstraction networks supporting auditing and complexity analysis
… complementary use of the abstraction network in description logic (DL) for quality assurance purposes pertaining to SNOMED is presented. Two complexity measures, a structural complexity measure and a hierarchical complexity measure, based on the abstraction network are introduced to quantify the …
-
Representing and reasoning about concrete domains with inference fusion.
Description Logic (DL)-based concept modelling formalisms provide a powerful means to represent and reason about taxonomic knowledge. They benefit from unambiguous semantics which make possible the automatic classification of concept definitions. However, the inevitable "trade-off" between the …