Here is a list of 10 main differences, some of them applicable only for OWL-DL:
以下列出了10个主要差异,其中一些差异仅适用于OWL-DL:
- OWL classes are like sets, OOPS classes are like templates
OWL类就像集合,OOPS类像模板
- OWL classes follow Description Logics, OOPS don't (or any other formal logic; they are based on heuristics)
OWL类遵循描述逻辑,OOPS不遵循(或任何其他形式逻辑;它们基于启发式)
- OOPS classes have relations, while the only relation between OWL classes is
rdfs:subClassOf
(when OWL classes are treated only as classes, see point 10 for an exeption).
OOPS类具有关系,而OWL类之间的唯一关系是rdfs:subClassOf
(当OWL类仅被视为类时,示例见第10点)。 What looks a bit like indirect description of relations, are the necessary and sufficient conditions of sublcasses and individuals, using owl:Restriction
看起来有点像是对关系的间接描述,是使用owl:Restriction
的次要条件和个体的必要条件和充分条件。
- OWL classes are not disjoint by default
默认情况下,OWL类不会不相交
- OWL classes don't have attributes, apart from the annotation properties, providing meta-description, not affecting the members of a class
除了注释属性外,OWL类没有属性,提供元描述,不影响类的成员
- Although sometimes the concept of "instance" is used, strictly speaking in OWL there is no such thing as instance of a class, as the existence of individuals is not dependant on classes being defined beforehand.
尽管有时会使用“实例”的概念,但严格来说,在OWL中并没有类的实例,因为个体的存在并不依赖于预先定义的类。
- OWL classes can be anonymous, defined through the conditions of classification.
OWL类可以是匿名的,可以通过分类条件来定义。
- Inference rules can be applied to OWL classes based on DL axioms
可以将推理规则应用于基于DL公理的OWL类
- OWL classes follow the Open World Assumption
OWL课程遵循开放世界假设
- OWL classes can be treated as individuals in OWL2 (aka punning)
OWL类可以被视为OWL2中的个人(又名punning)
Disclaimer: the list is made just on top of my head.
免责声明:清单仅列在我的头上。 It doesn't claim rigour or completeness.
它不要求严格或完整。