description-logic

    0

    1答えて

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

    0

    1答えて

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

    3

    1答えて

    用語には疑問があります。私は、いくつかのクラスは、それらがいくつかのパラメーターに適用されたときに意味を持つクラスを表すという意味でパラメーター化できることを発見しました。 たとえば、「中国の村」と「オランダの村」というクラスは、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答えて

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

    3

    4答えて

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

    -1

    1答えて

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

    6

    1答えて

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

    1

    1答えて

    次のコンセプトでドメインをモデル化していることを考慮してください。車の生産者である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を、