問題タブ [equivalence]

'T' 型の 2 つのリテラルがあるとします。それらが同等かどうかをテストしたいのですが、型「T」には「より小さい」演算子しか実装されていません。これを C++ でテストするにはどうすればよいでしょうか。

owl:equivalentClass のドメインと範囲は、答えを見つけることができなかったいくつかの疑問を提起します。

まず、OWL 自体では、owl:equivalentClass のドメインと範囲が rdfs:Class に設定されます。このドメインと範囲は、仕様 ( http://www.w3.org/TR/owl-ref/#equivalentClass-def ) で指定されている定義と多少衝突しているように見えます。

「そのようなクラス公理[つまり、owl:equivalentClass]の意味は、関係する2つのクラス記述が同じクラス拡張を持っているということです(つまり、両方のクラス拡張がまったく同じ個体のセットを含んでいます)。」

これは、rdfs:Class ではなく owl:Class のより具体的なドメインと範囲を示唆しています (インスタンスではなく個人が言及されていることを考慮して)。

Jena の推論エンジンを使用して、OWL 推論規則に次の興味深い要素が含まれていることに気付きました。 other は互いに owl:equivalentClass でなければなりません。

したがって、基本的に、ここではドメインと範囲が owl:Class に制限されていますが、これは理解できるようです。ただし、そのドメインと範囲がそのように狭められる場合、(2) のルールも、owl:equivalentClass 関係を伴うために、両方のリソースが owl:Class 型である必要があることを示すように限定されるべきではありませんか? 結局のところ、rdfs:subClassOf 関係は rdfs:Classes で完全にうまく機能します。互いのサブクラスであるクラスが rdfs:Classes である場合、(1) で owl:equivalentClass の定義が絞り込まれている場合、ルールは rdfs:Classes が実際には owl:Classes であることをすぐに暗示するべきではありません。

owl:equivalentClass の正しい解釈が何であるかについての答えを知っている人はいますか?

前もって感謝します！

そのカスタム クラス内のカスタム クラスの等価 (==) 演算子をオーバーロードすることは可能ですか。ただし、この演算子をクラス スコープ外でオーバーロードできることはわかっています。サンプルコードを高く評価してください。前もって感謝します。

テキストのドキュメントとそのテキスト内で検索したい 2 つの単語を取り込む関数があり、これらの 2 つの単語がテキスト内で隣り合って現れる確率を計算しようとしています。だから私が最初にしたことは、それらをペアにすることでした。私のドキュメントは「words」と呼ばれ、関数はドキュメント、word1、word2 の 3 つの引数を取ります。テキスト内でそれらが隣り合って何回出現するかを調べたいです。

現在、指定した 2 つの単語が一緒に出現する回数を計算するためのカウンターを作成しようとしています。これまでのところ、私はこれを試しました

しかし、私はエラーが発生しています

これらの単語 1:単語 2 と単語 2:単語 1 の各ペアを 2 つの特定の単語にしたいことを R に理解させ、適切な組み合わせを見つけたらカウンターに +1 を追加するにはどうすればよいでしょうか?

使いたいですEquivalence。gfortran-5 でどのように使用できますか?

私は使っている：

パーティション (リストのリスト) を取り、同値関係を表すペアのリストを返す Scheme 関数を定義するのに助けが必要です。コードを書き始めましたが、間違った方向に進んでいることに気づきました。私は何時間もこれを見てきましたが、進歩はありません。

ただし、関数は次のように機能する必要があります (partition ’((3 4) (5)))。((3 3) (3 4) (4 3) (4 4) (5 5))

どんな助けでも大歓迎です

私はPythonの初心者で、数学論文の表記を追跡するためにPythonスクリプトを書いています。紙が「A」、「B」、「C」、「D」という名前で値（数値、グループなど）を定義している場合、それらの間の等値を簡単に追跡できるようにしたいので、value("A") = value("B")そしてvalue("B") = value("C")にvalue("A") == value("C")評価されTrue、 にvalue("A") == value("D")評価されFalseます。

この質問への回答は有望に思えましたがvalue、同等性チェック関数を使用してクラスを定義すると、value("A") = value("B") と記述できません。各等値に対してエッジ (value("A"), value("B")) を使用してグラフを定義し、その連結成分を見つけることができることはわかっていますが、これは複雑で洗練されていないように思えます。より良い解決策はありますか？

この質問は、クラスに関するものであり、コードに多くの制限があるため、非常に厄介です。

目的は、2 つのリスト (ランダムな順序) に同じ要素が含まれているかどうかを確認する関数を作成することです。したがって、a=[2,5,4]とb=[4,2,5] a==bは になりますtrue。ここでの制限は、 以外の組み込み関数を使用できないことlen()です。だから私はset()そのようなものを使うことはできません。また、リストを編集することも許可されていないため、アイテムが両方のリストにあるかどうかを確認できず、両方のリストにある場合は空になるまで削除してください。

これらすべての制限により、アイデアが不足しています。助けてください。