inference

    2

    1答えて

    TDBでサポートされている推論モデルを使ってFusekiを設定したいと思います。 メモリモデルでは設定できましたが、トリプルを更新できるTDBモデルでは設定できませんでした。私は、次のアセンブラ記述を使用しています : @prefix tdb: <http://jena.hpl.hp.com/2008/tdb#> . @prefix rdf: <http://www.w3.org/1999/02

    9

    2答えて

    私はSPARQLの初心者で、推移関係を返すのに役立つクエリがあるかどうか疑問に思っていました。たとえば、以下のn3ファイルでは、 "a is sameas c"またはそれらの行に沿ったものを返すクエリが必要です。おかげ @prefix : <http://websitename.com/links/> . @prefix owl: <http://www.w3.org/2002/07/owl#>

    3

    5答えて

    long double x = 8.99999999999999999の場合、 'L'が付加されていないため、値はdoubleとして保存されます。変数xをfloat型のlong doubleと宣言したときに、Cコンパイラが型推論を実行できないのはなぜですか?

    4

    3答えて

    私はPrologのような言語では、次のようなものを書くことができますことを承知しています:私が欲しいもの mortal(X) :- man(X). % All men are mortal man(socrates). % Socrates is a man ?- mortal(socrates). % Is Socrates mortal? yes のようなものですこれが後ろ向きです

    6

    1答えて

    Jenaの推論機能を使いたいのですが、InfModelを使用しているときにパフォーマンスの問題が発生しています。 プロパティ: hasX (Ranges(intersection): X, inverse properties: isXOf) |-- hasSpecialX (Ranges(intersection): X, inverse properties: isSpecialXOf)

    5

    1答えて

    私はスタックオーバーフローのnewbyですので、私に簡単に行け!私は深くC#を読んでいますが、私はカバーされているとは思わないシナリオを見つけました。ウェブをすばやく検索しても、結果は失われませんでした。 は、私は、次のオーバーロードされたメソッドを定義すると言う: void AreEqual<T>(T expected, T actual) void AreEqual(object expe

    3

    2答えて

    EclipseのScala-IDEでScalaを学習しています。第9章:抽象化の制御、第1部:Scalaでのプログラミングのコード複製を減らしながら、私は本のコードを書いています(下記参照)。私が不要な空白行を削除し始めたとき、奇妙なことが起こりました。 filterFiles()メソッドの空白行を削除する前のコード全体を以下に示します。 これはうまくいきます!しかし、filterFiles()方

    3

    2答えて

    質問にはあまり答えられていないので、私は短くしようとします。長い説明のために、このブリーフィングを行ってください。 私は何をしようとしているかを示します。 (戻り値の型など、別の方法をgetLeaderHerdでそれを使用するためには、コンストラクタからの着信の種類をinfering)このような何か...: public class ZooCage{ private CageFamil

    5

    2答えて

    私はJenaとTDBを使ってRDFを格納していますが、RDFのデータは大きいですし、Jenaのowl reasonerはすべてのデータをメモリにロードする必要があります。 だから私は、すべてのデータをメモリにロードせずに推論することができる1つの推論器を見つけ出したいと思います。

    7

    1答えて

    私は、有限の順列セットを超える代数グループのユースケースを持っています。そうでなければ無関係な様々な置換クラスにグループを使用したいので、私はこれをミックスインの特性としてしたいと思います。ここにある時点で私の試み trait Permutation[P <: Permutation[P]] { this: P => def +(that: P): P //final ove