The project belongs to a line of the ongoing research on the unification in the area of Description Logic. Description Logic (DL) is a formalism used for knowledge representation, where the knowledge is captured in complex concepts constructed from a set of primary terms with formal constructors. DL enables an application of automated inferences over a knowledge base such like answering queries in a smart way, computing concept hierarchies, detecting errors. The knowledge bases (sets of definitions of complex concepts), based on the constructors of DL, are called DL-knowledge bases or ontologies.
Principal Investigator
Mentor
Co-investigator
Co-investigator, student
