UnifDL

Automation of the Problem of Unification in Description Logics

About UnifDL Project

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.

Our Team

Members of the project team

Barbara Morawska

Principal Investigator

Prof. Ian Pratt-Hartmann

Mentor

Sławomir Kost

Co-investigator

Michał Henne

Co-investigator, student

Client Testimonials

“A testimonial from a client who benefited from your product or service. Testimonials can be a highly effective way of establishing credibility and increasing your company's reputation.”
Client Name
“A testimonial from a client who benefited from your product or service. Testimonials can be a highly effective way of establishing credibility and increasing your company's reputation.”
Client Name
“A testimonial from a client who benefited from your product or service. Testimonials can be a highly effective way of establishing credibility and increasing your company's reputation.”
Client Name

This research is part of the project No. 2022/47/P/ST6/03196 within the POLONEZ BIS
programme co-funded by the National Science Centre and the European Union’s Horizon
2020 research and innovation programme under the Marie Skłodowska-Curie grant
agreement No. 945339.