我正在用OWL语言形式化本体。目前,使用OntoUML的子集(即UML配置文件)记录本体。
以下是UML中两个类和关系的示例:
我有两个类和它们之间的关系。该角色意味着在“关系a”中,“Class1”的实例充当特定的“角色”。
我的问题是: 我怎样才能在OWL中代表这个角色? 我在将UML模型转换为OWL时发现了一些引用(例如:here和here),但没有找到任何关于UML角色的内容。有标准吗? 创建另一个类可能是个好主意吗?
以下是“真实的话”中的一个例子,以澄清我的情况:
在此示例中,当“此人”充当“经理”时,“人员”负责“项目”。我应该创建一个Manager类吗?
旁注:我正在使用Protégé创建我的OWL文件。
答案 0 :(得分:2)
没有标准,但我们中的一些人正在OMG工作。该规范称为联邦的语义信息建模。其中有一个概念建模配置文件,我们认为它与OntoUML一致。我们正积极与Guizzardi博士合作,研究几个毛发区域,以确保它对齐。谷歌“SIMF github”,如果你想阅读规范草案。我们希望在12月提交。欢迎反馈。
要回答您的具体问题,自UML 1以来,关联结束在UML规范中并未被称为“角色”。它们是UML 2中的属性,并在转换为OWL时被视为属性。 SIMF和OntoUML都有一个可以应用于类的“角色”构造型。这将在OWL中生成一个模式,涉及像“play”这样的属性,其中某个类的范围代表一个角色。 Tableau推理器对角色没有任何线索,OWL也没有。你基本上必须依靠上层本体来理解所有这些。 Guizzardi博士的统一基础本体论(UFO)是提供这一点的。
SIMF的第一个部分参考实现称为Cameo Concept Modeler。您可能需要下载评估版,并向我们提供一些反馈,以满足您的需求。请记住,这是一项正在进行的工作,尽管它正在用于实际工作,例如金融业业务本体论(FIBO)标准化本体系列。