@JavaName getInverse
inverseOf :: Resource -> <ReadGraph> Resource
+ @JavaName getPossibleInverse
+ possibleInverseOf :: Resource -> <ReadGraph> Maybe Resource
@JavaName getSingleType
singleTypeOf :: Resource -> Resource -> <ReadGraph> Resource
newResource :: () -> <WriteGraph> Resource
"Adds a statement to the semantic graph."
claim :: Resource -> Resource -> Resource -> <WriteGraph> ()
+ @JavaName claim
+ claimWithInverse :: Resource -> Resource -> Maybe Resource -> Resource -> <WriteGraph> ()
@JavaName claimLiteral
claimRelatedValue_ :: Resource -> Resource -> a -> Binding a -> <WriteGraph> ()
@JavaName claimLiteral
subquery :: (<ReadGraph,Proc> a) -> <ReadGraph,Proc> a
"Makes a new read request with given procedure for calculating the result. The request is always cached."
subqueryC :: (<ReadGraph,Proc> a) -> <ReadGraph,Proc> a
+ "Makes a new read asynchronous request with function to handle the request result. The last `isDisposed` function parameter is used to determine if the listener is still alive or not."
+ subqueryL :: (<ReadGraph,Proc> a) -> (a -> <ReadGraph, e> ()) -> (Throwable -> <ReadGraph, e> ()) -> (<e> Boolean) -> <ReadGraph, Proc, e> ()
"Tries to convert the given Dynamic value to a value with the inferred type"
possibleFromDynamic :: Typeable a => String -> Dynamic -> Maybe a