Documentation ¶
Overview ¶
Package inference implements an in-memory store for inference.
RDFS Rules:
- (x p y) -> (p rdf:type rdf:Property)
- (p rdfs:domain c), (x p y) -> (x rdf:type c)
- (p rdfs:range c), (x p y) -> (y rdf:type c) 4a. (x p y) -> (x rdf:type rdfs:Resource) 4b. (x p y) -> (y rdf:type rdfs:Resource)
- (p rdfs:subPropertyOf q), (q rdfs:subPropertyOf r) -> (p rdfs:subPropertyOf r)
- (p rdf:type Property) -> (p rdfs:subPropertyOf p)
- (p rdf:subPropertyOf q), (x p y) -> (x q y)
- (c rdf:type rdfs:Class) -> (c rdfs:subClassOf rdfs:Resource)
- (c rdfs:subClassOf d), (x rdf:type c) -> (x rdf:type d)
- (c rdf:type rdfs:Class) -> (c rdfs:subClassOf c)
- (c rdfs:subClassOf d), (d rdfs:subClassOf e) -> (c rdfs:subClassOf e)
- (p rdf:type rdfs:ContainerMembershipProperty) -> (p rdfs:subPropertyOf rdfs:member)
- (x rdf:type rdfs:Datatype) -> (x rdfs:subClassOf rdfs:Literal)
Exported from: https://www.researchgate.net/figure/RDF-RDFS-entailment-rules_tbl1_268419911
Implemented here: 1 2 3 5 6 8 10 11
Index ¶
Constants ¶
This section is empty.
Variables ¶
This section is empty.
Functions ¶
This section is empty.
Types ¶
type Class ¶
type Class struct {
// contains filtered or unexported fields
}
Class represents a RDF Class with the links to classes and other properties
func (*Class) IsSubClassOf ¶
IsSubClassOf recursively checks whether class is a superClass
type Property ¶
type Property struct {
// contains filtered or unexported fields
}
Property represents a RDF Property with the links to classes and other properties
func (*Property) IsSubPropertyOf ¶
IsSubPropertyOf recursively checks whether property is a superProperty
type Store ¶
type Store struct {
// contains filtered or unexported fields
}
Store is a struct holding the inference data
func (*Store) GetClass ¶
GetClass returns a class struct for class name, if it doesn't exist in the store then it returns nil
func (*Store) GetProperty ¶
GetProperty returns a class struct for property name, if it doesn't exist in the store then it returns nil
func (*Store) ProcessQuads ¶
ProcessQuads is used to update the store with multiple quads
func (*Store) UnprocessQuads ¶
UnprocessQuads is used to delete multiple quads from the store