1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
|
/*
* Copyright (C) 2013, 2014, 2015 by the Konclude Developer Team.
*
* This file is part of the reasoning system Konclude.
* For details and support, see <http://konclude.com/>.
*
* Konclude is free software: you can redistribute it and/or modify it under
* the terms of version 2.1 of the GNU Lesser General Public License (LGPL2.1)
* as published by the Free Software Foundation.
*
* You should have received a copy of the GNU Lesser General Public License
* along with Konclude. If not, see <http://www.gnu.org/licenses/>.
*
* Konclude is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. For more
* details, see GNU Lesser General Public License.
*
*/
#include "CDataExtenderPreProcess.h"
namespace Konclude {
namespace Reasoner {
namespace Preprocess {
CDataExtenderPreProcess::CDataExtenderPreProcess() {
}
CDataExtenderPreProcess::~CDataExtenderPreProcess() {
}
CConcreteOntology *CDataExtenderPreProcess::preprocess(CConcreteOntology *ontology, CPreProcessContext* context) {
bool skipForELOntologies = CConfigDataReader::readConfigBoolean(context->getConfiguration(),"Konclude.Calculation.Preprocessing.ProcessingDataExtender.SkipForELFragment",true);
bool nonELConstructsUsed = ontology->getDataBoxes()->getExpressionDataBoxMapping()->getBuildConstructFlags()->isNonELConstructUsed();
CMBox *mBox = ontology->getDataBoxes()->getMBox();
CTBox *tBox = ontology->getDataBoxes()->getTBox();
CRBox *rBox = ontology->getDataBoxes()->getRBox();
CABox *aBox = ontology->getDataBoxes()->getABox();
CConceptVector* conceptVector = tBox->getConceptVector();
CRoleVector* roleVector = rBox->getRoleVector();
CIndividualVector* indiVector = aBox->getIndividualVector();
CBranchingTriggerVector* branchTriggVec = mBox->getBranchingTriggerVector();
CImplicationReplacementVector* impRepVec = mBox->getImplicationReplacementVector();
CRoleVector *roles = rBox->getRoleVector();
CConcept *topConcept = conceptVector->getLocalData(1);
mMemMan = ontology->getDataBoxes()->getBoxContext()->getMemoryAllocationManager();
mStatConceptDataExtended = 0;
mStatRoleDataExtended = 0;
mStatIndiDataExtended = 0;
cint64 roleCount = rBox->getRoleCount();
for (cint64 roleIdx = 0; roleIdx < roleCount; ++roleIdx) {
CRole* role = roleVector->getLocalData(roleIdx);
if (role) {
if (!role->hasRoleData()) {
CRoleProcessData* roleData = CObjectAllocator< CRoleProcessData >::allocateAndConstruct(mMemMan);
roleData->initRoleProcessExtensionData();
role->setRoleData(roleData);
++mStatRoleDataExtended;
}
}
}
cint64 indiCount = aBox->getIndividualCount();
for (cint64 indiIdx = 0; indiIdx < indiCount; ++indiIdx) {
CIndividual* indi = indiVector->getLocalData(indiIdx);
if (indi) {
if (!indi->hasIndividualData()) {
CIndividualProcessData* indiData = CObjectAllocator< CIndividualProcessData >::allocateAndConstruct(mMemMan);
indiData->initIndividualProcessExtensionData();
indi->setIndividualData(indiData);
++mStatIndiDataExtended;
}
}
}
cint64 conCount = tBox->getConceptCount();
for (cint64 conIdx = 0; conIdx < conCount; ++conIdx) {
CConcept* concept = conceptVector->getLocalData(conIdx);
if (concept) {
if (!concept->hasConceptData()) {
CConceptProcessData* conceptData = CObjectAllocator< CConceptProcessData >::allocateAndConstruct(mMemMan);
if (nonELConstructsUsed || !skipForELOntologies) {
conceptData->initConceptProcessExtensionData(branchTriggVec->getData(conIdx),impRepVec->getData(conIdx));
} else {
conceptData->initConceptProcessExtensionData(nullptr,nullptr);
}
concept->setConceptData(conceptData);
++mStatConceptDataExtended;
}
}
}
LOG(INFO,"::Konclude::Reasoner::Preprocess::ProcessDataExtender",logTr("Extended %1 concepts and %2 roles for processing.").arg(mStatConceptDataExtended).arg(mStatRoleDataExtended),this);
return ontology;
}
}; // end namespace Preprocess
}; // end namespace Reasoner
}; // end namespace Konclude
|
