たぶん、一階述語論理に自動的にマッピングできる英語の断片を定義することを目的としたAttemptoプロジェクトを見てください。この取り組みの一環として、OWL2DLへのマッピングがあります。たとえば、ACEでのOWLオントロジーの記述を参照してください。
あなたの例文
Bob, over on 42nd street, will have a job at the Mall after the owner approves
Attempto Controlled English(ACE)で次のように書き直すことができます
If an owner of Mall approves John whose address is "42nd street"
then he is employed by Mall.
(または、正確に何を言おうとしているのかによっては、同様のこともあります。)
この文は、 OWL2SubClassOf - axiomに自動的にマッピングできます。
SubClassOf(
ObjectIntersectionOf(
ObjectOneOf(
:Mall
)
ObjectSomeValuesFrom(
:owner
ObjectSomeValuesFrom(
:approve
ObjectIntersectionOf(
ObjectOneOf(
:John
)
DataHasValue(
:address
"42nd street"^^<http://www.w3.org/2001/XMLSchema#string>
)
)
)
)
)
ObjectSomeValuesFrom(
:employ
ObjectOneOf(
:John
)
)
)
このマッピングは、基本的な品詞に関する特定の規則を実装します。
- 一般的な名詞はOWLクラス名にマップされます
- 固有名はOWLの個々の名前にマップされます
- 他動詞、他動詞、および他動詞は、OWLプロパティ名にマップされます。引数が数値または文字列の場合はデータプロパティ名、それ以外の場合はオブジェクトプロパティ名
自動詞と二重他動詞、自動詞形容詞、副詞など、ACEがサポートする多くの単語クラスはこのマッピングではサポートされていません。自動詞はOWLクラスにマッピングできます(たとえば、「John sleeps。」は、個々のJohnがsleepersのクラスに属していることを意味すると解釈できます)。二重他動詞や副詞などの処理方法はあまり明確ではありません。
一般に、英語は、OWL(クラス、個人、オブジェクトとデータのプロパティ、および(型指定された)データ項目を持つ)よりも、構成要素(名詞、さまざまな種類の形容詞、さまざまな種類の動詞など)の点ではるかに豊富です。文字列や数字など)。そして、これは単なる「単語対エンティティ」レベルです。時制のようなものは、英語で多くの表面表現があり、OWL側に組み込みがないため、より複雑です。