Позволяет ли OWL содержать в онтологии только пустой класс? Должны ли классы содержать некоторых людей? Делает
<owl:Class rdf:ID="Human"/>
означает, что "Человек" - это пустой класс?
Если онтология содержит пустой класс, могут ли индивидуумы быть определены в другой онтологии, которая его расширяет?
Точно так же можно ли объявить индивидуума, не являющегося членом какого-либо класса в онтологии?
Спасибо
Да, вы можете объявить пустой класс.
Да, вы можете объявить индивидуумов такого класса в другой онтологии.
И то, и другое совершенно нормально. Идея онтологий заключается в том, что они могут использоваться совместно, то есть одна сторона определяет классы и свойства, а затем другие стороны могут использовать их, фактически создавая экземпляры классов и используя свойства для их описания.
Каждый человек неявно является членом класса owl:Thing. Таким образом, самое близкое, что вы можете сделать, чтобы объявить индивидуума без класса, это сделать его членом owl:Thing:
<owl:Thing rdf:ID="MyThing"/>
owl:Nothing. В этом случае, если бы другая онтология объявила индивида этого класса, это действительно было бы противоречием.
- person cygri; 16.04.2012
