description-logic

0熱

1答えて

私は、セマンティックウェブの2つの述語（プロパティ）が等価であるかどうかを見つける方法を探していますか？記述論理または別の方法を使用して可能ですか？どうもありがとう

0熱

1答えて

あなたは私の観点QL（DL-Liteᴿ）、EL（EL ++）とRL（DLP）の間の主な違いを説明するかもしれない：資格否定定量役割機能逆の特性対称な特性ロール階層（つまり、サブプロパティ）私が知っている瞬間のためにこと：資格の定量化は、ELでなくQLに許可されているが、後者では、我々はトリックの並べ替えを行うことができます。機能特性、逆特性とサブプロパティはQLに許可されているが

3熱

1答えて

命名法：RDFグラフのパラメータ化されたクラス

用語には疑問があります。私は、いくつかのクラスは、それらがいくつかのパラメーターに適用されたときに意味を持つクラスを表すという意味でパラメーター化できることを発見しました。たとえば、「中国の村」と「オランダの村」というクラスは、Wikidataの知識グラフで見つけることができます。彼らはインスタンス可能な概念であるという意味では、obvius実クラスです。しかし、テンプレート "Village

9熱

1答えて

インスタンスの最も特定のクラスを取得する

SPARQLクエリでリソース（DBpediaから）の定義を持つことは可能ですか？私は(Conceptual) Clustering methods for the Semantic Web: issues and applications (slides 10–11)に示されているTBoxとABoxのようなものを持っています。例えば、DBpediaのリソースStephen Kingのために、私が持

1熱

1答えて

（Un）継承サブクラスの規則とOWL API

OWL APIを直接使用する場合と比較して、Protégéのサブクラス処理について少し混乱します。私は「男性」または「女性」が男性または女性の人間であることを論理的に定義する単純なオントロジーを構築しました。クラスは Human Woman Man Gender Female Male プロパティです： hasSex (Human -> Gender) だから

3熱

4答えて

なぜOWL Fullは決まりませんか？

私はOWL Fullがなぜ決めることができないのかを見てきましたが、わかりやすい例が見つかりませんでした。「Entailment Closure」に起因するものであり、OWL FullがPropertiesであり、同時にIndividualでもあるクラスを持つことができるという事実と関連していることを説明しました。しかし、私はそれらのステートメントの関係を理解していません。

-1熱

1答えて

説明論理をモデルに適用

これはdlにちょっと新機能です。私はこのポストからの知識を適応させようとしました：How to express this individual in Description logic AKSWはdlの公理について親切に説明しました。私はモデルに知識を適用しました。私はちょうどダブルチェックをしたいと思っていましたが、設計上の誤りはありませんでした（すべての詳細をチェックする必要はありません）。こ

6熱

1答えて

DL構文でオントロジーを書く？

私はOWLとProtegeを発見しました。 thisのリファレンスページ（以下で引用します）を読むと、ではなく、では抽象的なOWL構文を使用し、DL構文で記述することができますか？私の背景は論理ですから、たとえ後でオントロジーを翻訳しなければならないとしてももっと楽しいように聞こえます（これを行うアプリケーションがなければならないと確信していますが、don't reasoners use DL？）

1熱

1答えて

OWLオントロジーモデリング;特定の高度な問題

次のコンセプトでドメインをモデル化していることを考慮してください。車の生産者であるMaker、具体的なモデルのModelhasMaker固有のMakerです。 Model, Maker, MakerExhibition hasMaker domain Model hasMaker range Maker Model subClassOf hasMaker exactly 1 Maker

0熱

1答えて

クラス個体を他のクラス個体の組み合わせとして定義する

OWLオントロジーでは、与えられたクラスはStudentである。私はので、私はクラスではなく、プロパティとしてStudentsPairをしたい Student(x) and Student (y) --> StudentsPair(x,y) すなわち、自動的 Studentのすべての可能な二重の組み合わせを計算し、このような方法で、学生の任意のペアである別のクラス StudentsPairを、