OWLオントロジー言語境界

Question

OWLオントロジー言語境界とは何ですか？ Like：

1. 親が異なるクラスを使用できますか？ （複数の継承）Protegeではこれを許可していません。
2. 使用できる文字と使用できない文字は何ですか？例えばProtegeでは '＃'または '^'を使用できません。どうして？
3. 大文字と小文字を区別するクラスですか？例えばクラスAとaは2つの異なるクラスですか？

他に何か？

Answer 1

OWLの境界は、それぞれのOWL方言の論理の境界によって決まります。これはOWL2方言の分類である：

-1次ロジック

--SWRL/RIF

--- OWL DL

---- OWL EL、RL、QL

-----概念階層

--OWLフル

--- OWL D L

---- OWL EL、RL、QL

-----コンセプト階層

--- RDFS

-----コンセプト階層

ますこれらの方言の詳細を見つけることができますhere。

表現力とデシビリティのバランスが良いので、最も使用されている方言はOWL-DLです。記述論理を分類する分類システムがあり、表現力を決定することができます。

"AL"は以下を許します：原子否定;コンセプト交差点。ユニバーサル制限。限られた存在量の定量化

"FL"は次のことを可能にします。ユニバーサル制限。限られた存在量の定量化。役割の制限

「EL」では次のことが可能です。 - 機能的性質、一意性定量化の特殊なケース

「F」：実存の制限が

その後、次の拡張機能があります。

"E" - 全実存資格

"U" - コンセプト組合。

"C" - 複合概念否定。

"H" - 役割階層（サブプロパティ - rdfs：subPropertyOf）。

"R" - 制限された複雑な役割の包含公理。反射性と非再帰性;役割の不一致。

"O" - Nominals。 （オブジェクト値制限の列挙されたクラス - owl：oneOf、owl：hasValue）。

"I" - 逆特性です。

"N" - カーディナリティ制約（フクロウ：カーディナリティ、OWL：maxCardinality）、定量

"Q" カウントの特別なケース - 修飾カーディナリティー制約

"D" - データ型プロパティの使用をデータ値またはデータ型。

この分類によれば、OWL2-DLの表現力は（SHROIQ（D））であり、「S」は推移的役割を持つ「ALC」の略語である。 （注意：DLとOWLの間には用語の違いがあります。たとえば、OWL仕様では「プロパティ」が使用され、DLでは「役割」が使用されます）。

あなたの質問に対する答えは、OWL2-DLの境界は（SHROIQ（D））です。

親が異なるクラスを使用できますか？ （多重継承） 門徒は、他のモデリングパラダイムからメタファーを適用しようとするときは注意する必要があります。この

を許可していません。厳密に言えば、「親」および「継承」はOWLには適用されません。プロパティの共有のようなものがあると言うことができますが、オブジェクト指向のパラダイムとは異なり、その方向性は上向きでダウンワードではありません。 OWLは「クラス」を使用しますが、OOの「クラス」ではなく、クラスとして考える必要があります。セットであるため、クラスは異なるクラスのサブクラスとしてもよく、Protégéではこれが可能です。実際、それはかなり頻繁に使用されます。 「雄牛」は「牛」と「雄」の両方のサブクラスと同じように、「猪」は「熊」と「雄」のサブクラスです。新しいクラスを作成するための一連のプロパティを常に見つけることができます。これまでのすべての例は、もちろん「哺乳動物」のサブクラスであり、「動物」のサブクラスであるが、例えば、 「両眼ロボット」のように、動物ではないサブクラスを持つことができる「2眼のエージェント」は、クラスです。私がまたは

OWLは、それぞれがそれ自身の構文を持つ別のserialisationsなOWL/XML、カメなどがあります。使用することはできませんどのような文字

あなたが有用なリソースを求めたら、そのようなものはもちろんOWL primerでしょう。私もthis free courseをお勧めします。