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
|
/*
* Copyright (C) 2013-2015, 2019 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 3 of the GNU Lesser General Public
* License (LGPLv3) as published by the Free Software Foundation.
*
* 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. See the
* GNU (Lesser) General Public License for more details.
*
* You should have received a copy of the GNU (Lesser) General Public
* License along with Konclude. If not, see <http://www.gnu.org/licenses/>.
*
*/
#include "COWLFileOWLlinkConsistencyRequestGenerator.h"
namespace Konclude {
namespace Test {
COWLFileOWLlinkConsistencyRequestGenerator::COWLFileOWLlinkConsistencyRequestGenerator(CConfiguration *config)
: CLogIdentifier("::Konclude::Test::OWLFileOWLlinkClassifyRequestGenerator",this),mConfig(config) {
mReasonerTestKBName = "http://www.konclude.com/evaluation-testsuite/test-ontology";
}
COWLFileOWLlinkConsistencyRequestGenerator::~COWLFileOWLlinkConsistencyRequestGenerator() {
}
QDomDocument COWLFileOWLlinkConsistencyRequestGenerator::createRequestDocument() {
QDomDocument document;
QString owllinkNS = "http://www.owllink.org/owllink#";
QString owlNS = "http://www.w3.org/2002/07/owl#";
QDomElement rootNode;
rootNode = document.createElementNS(owllinkNS,"RequestMessage");
//rootNode.setAttributeNS("xsi:schemaLocation","http://www.owllink.org/owllink# http://www.owllink.org/owllink-20091116.xsd");
rootNode.setAttributeNS("http://www.w3.org/2001/XMLSchema-instance","xsi:schemaLocation","http://www.owllink.org/owllink# http://www.owllink.org/owllink-20091116.xsd");
rootNode.setAttribute("xmlns:owl",owlNS);
document.appendChild(rootNode);
return document;
}
bool COWLFileOWLlinkConsistencyRequestGenerator::generateOWLlinkConsistencyRequest(const QString& requestFileName, const QString& responseFileName) {
QDomDocument requestDocument = createRequestDocument();
QDomElement rootElement = requestDocument.documentElement();
QDomElement cKBElement = requestDocument.createElement("CreateKB");
cKBElement.setAttribute("kb",mReasonerTestKBName);
rootElement.appendChild(cKBElement);
QDomElement loadElement = requestDocument.createElement("LoadOntologies");
loadElement.setAttribute("kb",mReasonerTestKBName);
QDomElement ontoIRIElement = requestDocument.createElement("OntologyIRI");
ontoIRIElement.setAttribute("IRI",QString("file:%1").arg(requestFileName));
loadElement.appendChild(ontoIRIElement);
rootElement.appendChild(loadElement);
QDomElement getSubClassHirElement = requestDocument.createElement("IsKBSatisfiable");
getSubClassHirElement.setAttribute("kb",mReasonerTestKBName);
rootElement.appendChild(getSubClassHirElement);
QDomElement releaseKBElement = requestDocument.createElement("ReleaseKB");
releaseKBElement.setAttribute("kb",mReasonerTestKBName);
rootElement.appendChild(releaseKBElement);
QFile outFile(responseFileName);
if (outFile.open(QIODevice::WriteOnly)) {
outFile.write(requestDocument.toByteArray());
outFile.close();
}
LOG(INFO,getLogDomain(),logTr("Generated OWLlink consistency request '%1' for ontology '%2'.").arg(responseFileName).arg(requestFileName),this);
return false;
}
}; // end namespace Test
}; // end namespace Konclude
|
