Описание утверждений решателя
Reasoner расширил поля «disjoint with» и «subclass of» для всех классов, чьи родительские классы были связаны отношением эквивалентности. В данной онтологии примером являются классы «Компьютер» и «Computer». Все их дочерние классы имеют поле «disjoint with» со значениями «Hardware», «Помещение» и «Рабочее_место».
Также reasoner добавил симметрию полю «disjoint with» для всех классов и их дочерних классов (продублировав информацию из данного поля родительского класса).
В экземпляры объектов «Motherboard» и «Motherboard_Hardware» были добавлены объекты класса «Hardware», поскольку они удовлетворяли следующему SWRL правилу:
Hardware(?x) ^ hasMotherboardHardware(?x, ?y) -> Motherboard_Hardware(?y) ^ Motherboard(?x)
То есть объект «Hardware1» был связан отношением «hasMotherboardHardware» с другим объектом «Hardware2».
Также reasoner добавил все классы из поля «disjoint with» класса RAM в его дочерние классы (поскольку эти классы связаны условным отношением эквивалентности). Так как у каждого класса «2GB_RAM», «4GB_RAM» и «8GB_RAM» свое условие для эквивалентности с классом RAM (непересекающееся с условиями соседних классов), все подклассы RAM были также попарно связаны отношением «disjoint with».
Reasoner добавил новый экземпляр классу «4GB_RAM», поскольку этот экземпляр имеет тип «RAM» и свойство «has_RAM_capacity», соответствующее условию в классе «4GB_RAM».
Экземпляр «Human1» был добавлен в список экземпляров класса «Student», поскольку он имеет тип «Human» и свойство «studentID». Данное SWRL правило выглядит следующим образом:
Human(?x) ^ studentID(?x, ?y) -> Student(?x)
Экземпляр «Компьютерный_cтол1» был отнесен к классу «Компьютерный_стол_с_комьютером_с_дискретной_видеокартой», поскольку в компьютере, который привязан к этому столу, установлена видеокарта. Данное условие задано в поле «Equivalent to» класса «Компьютерный_стол_с_комьютером_с_дискретной_видеокартой»:
Компьютерный_стол and (имеет_компьютер some (Компьютер and (hasMotherboard some (Motherboard and (hasMotherboardHardware some GPU)))))
Поскольку отношение «sameGroupAs» симметричное, reasoner сделал его инверсией самого себя.
Экземплярам «CPU_individual0», «CPU_individual1», «CPU_individual2», «Disk_Drive_individual0» и «Disk_Drive_individual1» было добавлено отношение «isComponentOfMotherboard», поскольку они связаны с объектами «Motherboard_individual0» отношением «hasMotherboardHardware». Связывание происходит благодаря SWRL правилу, указанному выше.
Заключение
При написании данной практической работы были созданы 3 онтологии, объединенные в одну с использованием инструментов OWL и RDFS. Для каждой из 3 онтологий и одной общей были определены условия, отношения и свойства классов, SWRL правила и написаны SPARQL запросы. Были разобраны утверждения, созданные решаталем на основе существующей информации, и осуществлена проверка на согласованность общей онтологии. Таким образом, быи получены новые знания о способах объединения нескольких баз знаний и формах представления информации в них.