armor_cluedo.h

Go to the documentation of this file.

 
 
#ifndef __H_ARMOR_CLUEDO_H__
#define __H_ARMOR_CLUEDO_H__
 
#include "armor_tools/armor_tools.h"
 
#include <vector>
#include <iostream>
#include <string>
 
 
 
 
 
class ArmorCluedo : public ArmorTools
{
public:
    
 
    ArmorCluedo( bool debugmode = ARMOR_DEFAULT_DEBUGMODE );
    
    
    ~ArmorCluedo( );
    
    
 
    bool Init( std::string ontologyPath );
    
    
    
    // ======== individuals and classes
    //    methods for adding individuals to the ontology
    
 
    bool AddIndiv( std::string indivname, std::string classname, bool makeDisjoint = true );
    
    
 
    std::vector<std::string> GetClassOfIndiv( std::string indivname, bool deep );
    
    
 
    std::vector<std::string> GetIndivOfClass( std::string classname );
    
    
 
    bool ExistsIndiv( std::string indivname );
    
    
    
    // ======== properties
    //    methods for checking and adding properties between individuals
    
 
    bool SetObjectProperty( std::string prop, std::string Aelem, std::string Belem );
    
    
 
    std::vector<std::string> GetValuedOfIndiv( std::string prop, std::string indivname );
    
    
    
    // ======== hypotheses
    //    methods for formulating and working with hypotheses
    
 
    std::vector<std::string> FindCompleteHypotheses( );
    
    
 
    std::vector<std::string> FindInconsistentHypotheses( );
    
    
 
    bool RemoveHypothesis( std::string hypTag );
    
    
    
    // ======== utilities
    //    general-purpose methods
    
 
    std::string FilterValue( std::string raw );
    
    
 
    std::vector<std::string> FilterVector( std::vector<std::string>& itemlist );
    
private:
    // all the entities added
    std::vector<std::string> individuals;
    
    // removed hypotheses
    std::vector<std::string> DiscardHypotheses;
    
    // check if a string exists in one array
    bool ExistsItem( std::string item, const std::vector<std::string>& container );
    
    // track individual
    bool TrackIndiv( std::string indivname );
    
    // disjoint all the individuals
    void DisjointAllIndiv( std::string from );
    
    // search for a specific iterator on a vector
    //   it return vector::end() if the element is not contained
    std::vector<std::string>::iterator GetPositionOf( std::string tag, std::vector<std::string>& list );
};
 
#endif