Vol-2916⫷ Vol-2917 ⫸Vol-2918
urn:nbn:de:0074-2917-0


Vol-2917/paper2⫷Vol-2917/paper3⫸Vol-2917/paper4
Vasyl LenkoVolodymyr PasichnykYuri ShcherbynaNataliia Kunanets

Knowledge Representation and Automated Formal Reasoning in Description Logic ALC