Hideaki Takeda @ {National Institute of Informatics, The University of Tokyo}
OWL(Web Ontology Language)
l
より一般的な知識表現言語
l
記述論理
(Description Logics)
に基づく
l
3
つのクラス
n
OWL-Lite: OWL-DL
の
subset
n
OWL-DL:
記述論理に基づいた
OWL
の標準
n
OWL-Full: OWL-DL
と
RDFS
を組み褪せた者
l
特徴
u
クラス定義:必要条件,必要十分条件
u
クラス表現:
l
プロパティによる制約
n
型制限
(all/some)
,個数制限,型つき個数制限
l
論理円全:和,積,否定
n
プロパティ
u
複数定義域,値域
u
メタプロパティ