srdf
srdf
es.weso.rdf
InferenceEngine
InferenceEngine
MsgRDFException
NONE
OWL
PREFIXES
Prefix
PrefixMap
PrefixMap
RDFBuilder
RDFException
RDFException
RDFReader
RDFReasoner
RDFS
ThrownException
es.weso.rdf.locations
Location
es.weso.rdf.nodes
BNode
BNode
BooleanLiteral
BooleanLiteral
DatatypeLiteral
DecimalLiteral
DecimalLiteral
DoubleLiteral
DoubleLiteral
IRI
IRI
IntegerLiteral
IntegerLiteral
Lang
LangLiteral
Literal
RDFHTMLLiteral
RDFNode
RDFNode
RDFNodeException
RDFXMLLiteral
StringLiteral
es.weso.rdf.operations
Comparisons
Datetime
ErrorFractionDigits
ErrorTotalDigits
NumericDecimal
NumericDouble
NumericInt
NumericLiteral
PrimitiveLiteral
Graph
es.weso.rdf.parser
RDFParser
es.weso.rdf.path
AlternativePath
InversePath
OneOrMorePath
PredicatePath
SHACLPath
SHACLPath
SequencePath
ZeroOrMorePath
ZeroOrOnePath
es.weso.rdf.saver
RDFSaver
es.weso.rdf.triples
RDFTriple
RDFTriple
es.weso.utils
NormalizeBNodes
PrefixMapUtils
XMLUtils
srdf
/
es.weso.rdf.operations
/
Comparisons
Comparisons
object
Comparisons
Graph
Supertypes
Self type
class
Object
trait
Matchable
class
Any
Comparisons
.type
Type members
Value members
Type members
Classlikes
case
class
Datetime
(
dt:
Instant
)
extends
PrimitiveLiteral
case
class
ErrorFractionDigits
(
value:
String
,
e:
Option
[
Throwable
])
extends
RuntimeException
case
class
ErrorTotalDigits
(
value:
String
,
e:
Option
[
Throwable
])
extends
RuntimeException
case
class
NumericDecimal
(
n:
BigDecimal
,
repr:
String
)
extends
NumericLiteral
case
class
NumericDouble
(
n:
Double
,
repr:
String
)
extends
NumericLiteral
case
class
NumericInt
(
n:
Int
,
repr:
String
)
extends
NumericLiteral
sealed
trait
NumericLiteral
sealed
trait
PrimitiveLiteral
Types
type
E
[
A
] =
Either
[
String
,
A
]
Value members
Concrete methods
def
contains
[
F
[
_
] :
Foldable
](
ns:
F
[
RDFNode
],
node:
RDFNode
):
Either
[
String
,
Boolean
]
def
different
(
ns1:
List
[
RDFNode
],
ns2:
List
[
RDFNode
]):
Either
[
String
,
List
[
RDFNode
]]
def
existsM
[
F
[
_
] :
Foldable
,
A
](
ns:
F
[
A
],
p:
A
=>
Either
[
String
,
Boolean
]):
Either
[
String
,
Boolean
]
def
getFractionDigitsDecimal
(
value:
String
):
Either
[
ErrorFractionDigits
,
Int
]
def
getTotalDigitsDecimal
(
value:
String
):
Either
[
ErrorTotalDigits
,
Int
]
def
greaterThan
(
nl1:
NumericLiteral
,
nl2:
NumericLiteral
):
Boolean
def
greaterThan
(
node1:
RDFNode
,
node2:
RDFNode
):
Either
[
String
,
Boolean
]
def
greaterThanOrEquals
(
nl1:
NumericLiteral
,
nl2:
NumericLiteral
):
Boolean
def
greaterThanOrEquals
(
node1:
RDFNode
,
node2:
RDFNode
):
Either
[
String
,
Boolean
]
def
lessThan
(
nl1:
NumericLiteral
,
nl2:
NumericLiteral
):
Boolean
def
lessThan
(
node1:
RDFNode
,
node2:
RDFNode
):
Either
[
String
,
Boolean
]
def
lessThanOrEquals
(
nl1:
NumericLiteral
,
nl2:
NumericLiteral
):
Boolean
def
lessThanOrEquals
(
node1:
RDFNode
,
node2:
RDFNode
):
Either
[
String
,
Boolean
]
def
notContained
(
ns:
List
[
RDFNode
],
targets:
List
[
RDFNode
]):
Either
[
String
,
List
[
RDFNode
]]
def
numericValue
(
node:
RDFNode
):
Either
[
String
,
NumericLiteral
]