object RDFSLevel extends Enumeration
The ForwardRuleReasonerRDFS can be configured to work at three different compliance levels:
Full
This implements all of the RDFS axioms and closure rules with the exception of bNode entailments and datatypes
(rdfD 1). See above for comments on these. This is an expensive mode because all statements in the data graph
need to be checked for possible use of container membership properties. It also generates type assertions
for all resources and properties mentioned in the data (rdf1, rdfs4a, rdfs4b).
Default
This omits the expensive checks for container membership properties and the "everything is a resource" and
"everything used as a property is one" rules (rdf1, rdfs4a, rdfs4b).
This mode does include all the axiomatic rules. Thus, for example, even materializing an "empty" RDF graph will
return triples such as [rdf:type rdfs:range rdfs:Class].
Simple
This implements just the transitive closure of subPropertyOf and subClassOf relations, the domain and range
entailments and the implications of subPropertyOf and subClassOf. It omits all of the axioms. This is probably
the most useful mode but is not the default because it is a less complete implementation of the standard.
- Alphabetic
- By Inheritance
- RDFSLevel
- Enumeration
- Serializable
- Serializable
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Type Members
- type RDFSLevel = Value
-
class
Val extends Value with Serializable
- Attributes
- protected
- Definition Classes
- Enumeration
- Annotations
- @SerialVersionUID()
-
abstract
class
Value extends Ordered[Value] with Serializable
- Definition Classes
- Enumeration
- Annotations
- @SerialVersionUID()
-
class
ValueSet extends AbstractSet[Value] with SortedSet[Value] with SortedSetLike[Value, ValueSet] with Serializable
- Definition Classes
- Enumeration
Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- val DEFAULT: Value
- val FULL: Value
- val SIMPLE: Value
-
final
def
Value(i: Int, name: String): Value
- Attributes
- protected
- Definition Classes
- Enumeration
-
final
def
Value(name: String): Value
- Attributes
- protected
- Definition Classes
- Enumeration
-
final
def
Value(i: Int): Value
- Attributes
- protected
- Definition Classes
- Enumeration
-
final
def
Value: Value
- Attributes
- protected
- Definition Classes
- Enumeration
-
final
def
apply(x: Int): Value
- Definition Classes
- Enumeration
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
final
def
maxId: Int
- Definition Classes
- Enumeration
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
var
nextId: Int
- Attributes
- protected
- Definition Classes
- Enumeration
-
var
nextName: Iterator[String]
- Attributes
- protected
- Definition Classes
- Enumeration
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
def
readResolve(): AnyRef
- Attributes
- protected
- Definition Classes
- Enumeration
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
toString(): String
- Definition Classes
- Enumeration → AnyRef → Any
-
def
values: ValueSet
- Definition Classes
- Enumeration
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
-
final
def
withName(s: String): Value
- Definition Classes
- Enumeration