KANZAKI, Masahide

KANZAKI, Masahide at

OWL 2 Structural Specification.. §9.4 "The datatypes defined by datatype definition axioms ... have empty lexical spaces and therefore they must not occur in literals." ユーザ定義データ型はレキシカル空間が空なのでリテラル値として書けない(ill-typedになる)。値域の定義などには使える。RDF ISSUE-76を巡る議論によればowl:realはレキシカル空間がないデータ型の例