knowrob::ReifiedTriple Class Reference

#include <ReifiedTriple.h>

Public Member Functions
	ReifiedTriple (const Triple &triple, const VocabularyPtr &vocabulary, const IRIAtomPtr &reifiedName=nullptr)
auto	begin ()
auto	end ()
auto	begin () const
auto	end () const
	ReifiedTriple (const Triple &triple, const VocabularyPtr &vocabulary, const IRIAtomPtr &reifiedName=nullptr)
auto	begin ()
auto	end ()
auto	begin () const
auto	end () const

Static Public Member Functions
static bool	isPartOfReification (const Triple &triple)
static bool	isReifiable (const Triple &triple)
static bool	isPartOfReification (const Triple &triple)
static bool	isReifiable (const Triple &triple)

Protected Member Functions
Triple *	create (std::string_view subject, const AtomPtr &property, const std::optional< std::string_view > &g)
Triple *	create (std::string_view subject, const AtomPtr &property, const std::optional< std::string_view > &g)

Protected Attributes
VocabularyPtr	vocabulary_
std::vector< TriplePtr >	reified_
knowrob::IRIAtomPtr	name_
std::string	generatedString_

Detailed Description

A collection of triples that creates a reified view on another triple. Note that triple data is not copy, so caller should ensure that the original triple is not deleted while the reified view is used.

Definition at line 19 of file ReifiedTriple.h.

Constructor & Destructor Documentation

ReifiedTriple() [1/2]

ReifiedTriple::ReifiedTriple ( const Triple &  triple, const VocabularyPtr &  vocabulary, const IRIAtomPtr &  reifiedName = nullptr  )

explicit

Create a reified view on a triple.

Parameters

triple	the triple to reify.
vocabulary	the vocabulary to use for reification.
reifiedName	the name of the reified triple.

Definition at line 14 of file ReifiedTriple.cpp.

                                                            {
    auto property = vocabulary->defineProperty(triple.predicate());
    // map the property to a Relation concept
    auto relationType = property->reification();
    // generate a unique individual name
    name_ = reifiedName ? reifiedName : semweb::Resource::unique_iri(
            reification::individualPrefix->stringForm(),
            semweb::Resource::iri_name(relationType->iri()));
    const auto &name = name_->stringForm();
    // set origin of the reified triples
    auto g = triple.graph();
 
    // need to avoid copy of TriplePtr, so we reserve space in the vector to fit them exactly
    uint32_t triple_count = 3;
    if (triple.perspective()) triple_count += 1;
    if (triple.isUncertain() || triple.confidence()) triple_count += 1;
    if (triple.isOccasional()) triple_count += 1;
    if (triple.confidence()) triple_count += 1;
    if (triple.begin()) triple_count += 1;
    if (triple.end()) triple_count += 1;
    reified_.reserve(triple_count);
 
    // create a rdf:type assertion for the relation individual
    create(name, rdf::type, g)->setObjectIRI(relationType->iri());
 
    // set the subject, and object of the reified triple
    if (triple.isSubjectBlank()) {
        create(name, reification::hasSubject, g)->setObjectBlank(triple.subject());
    } else {
        create(name, reification::hasSubject, g)->setObjectIRI(triple.subject());
    }
    if (triple.isObjectBlank()) {
        create(name, reification::hasObject, g)->setObjectBlank(triple.valueAsString());
    } else if (triple.isObjectIRI()) {
        create(name, reification::hasObject, g)->setObjectIRI(triple.valueAsString());
    } else if (triple.xsdType()) {
        if (triple.xsdType().value() == XSDType::STRING) {
            create(name, reification::hasLiteral, g)->setXSDValue(triple.valueAsString(), XSDType::STRING);
        } else {
            generatedString_ = triple.createStringValue();
            create(name, reification::hasLiteral, g)->setXSDValue(generatedString_, triple.xsdType().value());
        }
    }
 
    // set the optional properties of the reified triple
    if (triple.perspective()) {
        create(name, reification::hasPerspective, g)->setObjectIRI(triple.perspective().value());
    }
    if (triple.isUncertain() || triple.confidence()) {
        create(name, reification::isUncertain, g)->setBooleanValue(true);
    }
    if (triple.isOccasional()) {
        create(name, reification::isOccasional, g)->setBooleanValue(true);
    }
    if (triple.confidence()) {
        create(name, reification::hasConfidence, g)->setDoubleValue(triple.confidence().value());
    }
    if (triple.begin()) {
        create(name, reification::hasBeginTime, g)->setDoubleValue(triple.begin().value());
    }
    if (triple.end()) {
        create(name, reification::hasEndTime, g)->setDoubleValue(triple.end().value());
    }
}

ReifiedTriple() [2/2]

knowrob::ReifiedTriple::ReifiedTriple ( const Triple &  triple, const VocabularyPtr &  vocabulary, const IRIAtomPtr &  reifiedName = nullptr  )

explicit

Create a reified view on a triple.

Parameters

triple	the triple to reify.
vocabulary	the vocabulary to use for reification.
reifiedName	the name of the reified triple.

Member Function Documentation

begin() [1/4]

auto knowrob::ReifiedTriple::begin ( )

inline

Returns

begin iterator over the reified triples.

Definition at line 33 of file ReifiedTriple.h.

{ return reified_.begin(); }

begin() [2/4]

auto knowrob::ReifiedTriple::begin ( )

inline

Returns

begin iterator over the reified triples.

Definition at line 33 of file ReifiedTriple.h.

{ return reified_.begin(); }

begin() [3/4]

auto knowrob::ReifiedTriple::begin ( ) const

inline

Returns

begin iterator over the reified triples.

Definition at line 43 of file ReifiedTriple.h.

{ return reified_.begin(); }

begin() [4/4]

auto knowrob::ReifiedTriple::begin ( ) const

inline

Returns

begin iterator over the reified triples.

Definition at line 43 of file ReifiedTriple.h.

{ return reified_.begin(); }

create() [1/2]

Triple * ReifiedTriple::create ( std::string_view  subject, const AtomPtr &  property, const std::optional< std::string_view > &  g  )

protected

Definition at line 81 of file ReifiedTriple.cpp.

                                                                                                           {
    auto &reified = reified_.emplace_back(new TripleView());
    reified->setSubject(subject);
    reified->setPredicate(property->stringForm());
    if (g.has_value()) {
        reified->setGraph(g.value());
    }
    return reified.ptr;
}

create() [2/2]

Triple* knowrob::ReifiedTriple::create ( std::string_view  subject, const AtomPtr &  property, const std::optional< std::string_view > &  g  )

protected

end() [1/4]

auto knowrob::ReifiedTriple::end ( )

inline

Returns

end iterator over the reified triples.

Definition at line 38 of file ReifiedTriple.h.

{ return reified_.end(); }

end() [2/4]

auto knowrob::ReifiedTriple::end ( )

inline

Returns

end iterator over the reified triples.

Definition at line 38 of file ReifiedTriple.h.

{ return reified_.end(); }

end() [3/4]

auto knowrob::ReifiedTriple::end ( ) const

inline

Returns

end iterator over the reified triples.

Definition at line 48 of file ReifiedTriple.h.

{ return reified_.end(); }

end() [4/4]

auto knowrob::ReifiedTriple::end ( ) const

inline

Returns

end iterator over the reified triples.

Definition at line 48 of file ReifiedTriple.h.

{ return reified_.end(); }

isPartOfReification() [1/2]

bool ReifiedTriple::isPartOfReification ( const Triple &  triple )

static

Check if a triple belongs to the reified representation of another triple.

Parameters

triple

the triple to check.

Returns

true if the triple is part of a reification.

Definition at line 91 of file ReifiedTriple.cpp.

                                                            {
    return triple.subject().compare(
            0,
            reification::individualPrefix->stringForm().size(),
            reification::individualPrefix->stringForm()) == 0;
}

isPartOfReification() [2/2]

static bool knowrob::ReifiedTriple::isPartOfReification ( const Triple &  triple )

static

Check if a triple belongs to the reified representation of another triple.

Parameters

triple

the triple to check.

Returns

true if the triple is part of a reification.

isReifiable() [1/2]

bool ReifiedTriple::isReifiable ( const Triple &  triple )

static

Check if a triple is reifiable, i.e. if it is contextualized such that a reified representation is required in case a backend does not support contextualization of triples.

Parameters

triple

the triple to check.

Returns

true if the triple is reifiable.

Definition at line 98 of file ReifiedTriple.cpp.

                                                    {
    bool hasNonEgoPerspective = triple.perspective() && !Perspective::isEgoPerspective(triple.perspective().value());
    return hasNonEgoPerspective ||
           triple.isUncertain() ||
           triple.isOccasional() ||
           triple.confidence() ||
           triple.begin() ||
           triple.end();
}

isReifiable() [2/2]

static bool knowrob::ReifiedTriple::isReifiable ( const Triple &  triple )

static

Check if a triple is reifiable, i.e. if it is contextualized such that a reified representation is required in case a backend does not support contextualization of triples.

Parameters

triple

the triple to check.

Returns

true if the triple is reifiable.

Member Data Documentation

generatedString_

std::string knowrob::ReifiedTriple::generatedString_

protected

Definition at line 69 of file ReifiedTriple.h.

name_

knowrob::IRIAtomPtr knowrob::ReifiedTriple::name_

protected

Definition at line 68 of file ReifiedTriple.h.

reified_

std::vector< TriplePtr > knowrob::ReifiedTriple::reified_

protected

Definition at line 67 of file ReifiedTriple.h.

vocabulary_

VocabularyPtr knowrob::ReifiedTriple::vocabulary_

protected

Definition at line 66 of file ReifiedTriple.h.

---

The documentation for this class was generated from the following files:

• build/_CPack_Packages/Linux/DEB/knowrob-2.1.0-Linux/usr/include/knowrob/storage/ReifiedTriple.h
• src/storage/ReifiedTriple.cpp