Skip to content

Commit c2dc60e

Browse files
andreas-steigmillerandreas-steigmiller
committed
v0.6.2-842, first integration of absorption-based query answering
1 parent 59728a4 commit c2dc60e

File tree

5,043 files changed

+390641
-107526
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

5,043 files changed

+390641
-107526
lines changed

‎Configs/querying-config.xml

Lines changed: 68 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,68 @@
1+
<?xml version="1.0" encoding="UTF-8"?>
2+
<RequestMessage xmlns="http://www.owllink.org/owllink-xml#"
3+
xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
4+
xmlns:owl="http://www.w3.org/2002/07/owl#"
5+
xml:base="http://www.owllink.org/testsuite/1a#"
6+
xsi:schemaLocation="http://www.owllink.org/owllink-xml# http://www.owllink.org/owllink-xml.xsd">
7+
8+
<!--Configurations for the Konclude reasoner.-->
9+
10+
<Set key='Konclude.Calculation.Precomputation.ForceFullCompletionGraphConstruction'>
11+
<Literal>true</Literal>
12+
</Set>
13+
14+
<Set key='Konclude.Calculation.Querying.ComplexQueryingSupport'>
15+
<Literal>true</Literal>
16+
</Set>
17+
18+
<Set key='Konclude.Calculation.Optimization.RepresentativePropagation'>
19+
<Literal>false</Literal>
20+
</Set>
21+
22+
<Set key='Konclude.Calculation.Optimization.SignatureMirroringBlocking'>
23+
<Literal>false</Literal>
24+
</Set>
25+
26+
27+
28+
29+
<Set key='Konclude.Debugging.WriteDebuggingData'>
30+
<Literal>false</Literal>
31+
</Set>
32+
33+
34+
35+
<Set key='Konclude.Debugging.WriteDebuggingDataSaturationTasks'>
36+
<Literal>false</Literal>
37+
</Set>
38+
39+
40+
<Set key='Konclude.Debugging.WriteDebuggingDataCompletionTasksForAnsweringPropagationTests'>
41+
<Literal>true</Literal>
42+
</Set>
43+
44+
45+
<Set key='Konclude.Debugging.WriteDebuggingDataCompletionTasks'>
46+
<Literal>true</Literal>
47+
</Set>
48+
49+
<Set key='Konclude.Debugging.WriteDebuggingDataCompletionTasksForConsistencyTests'>
50+
<Literal>true</Literal>
51+
</Set>
52+
53+
54+
<Set key='Konclude.Debugging.WriteDebuggingDataCompletionTasksOnlyOnSatisfiability'>
55+
<Literal>true</Literal>
56+
</Set>
57+
58+
59+
<Set key='Konclude.Calculation.Answering.MultipliedUnitsParallelTestingCalculationCount'>
60+
<Literal>1</Literal>
61+
</Set>
62+
63+
<Set key='Konclude.Calculation.Realization.COptimizedKPSetOntologyConceptRealizer.MultipliedUnitsParallelTestingCalculationCount'>
64+
<Literal>10</Literal>
65+
</Set>
66+
67+
68+
</RequestMessage>

‎External/librdf/Linux/x64/include/Redland.h

Lines changed: 35 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,35 @@
1+
/* -*- Mode: c; c-basic-offset: 2 -*-
2+
*
3+
* redland.h - Redland RDF Application Framework main header
4+
*
5+
* Copyright (C) 2000-2010, David Beckett http://www.dajobe.org/
6+
* Copyright (C) 2000-2004, University of Bristol, UK http://www.bristol.ac.uk/
7+
*
8+
* This package is Free Software and part of Redland http://librdf.org/
9+
*
10+
* It is licensed under the following three licenses as alternatives:
11+
* 1. GNU Lesser General Public License (LGPL) V2.1 or any newer version
12+
* 2. GNU General Public License (GPL) V2 or any newer version
13+
* 3. Apache License, V2.0 or any newer version
14+
*
15+
* You may not use this file except in compliance with at least one of
16+
* the above three licenses.
17+
*
18+
* See LICENSE.html or LICENSE.txt at the top of this package for the
19+
* complete terms and further detail along with the license texts for
20+
* the licenses in COPYING.LIB, COPYING and LICENSE-2.0.txt respectively.
21+
*
22+
*
23+
*/
24+
25+
26+
#ifndef REDLAND_H
27+
#define REDLAND_H
28+
29+
#ifndef LIBRDF_OBJC_FRAMEWORK
30+
#include <librdf.h>
31+
#else
32+
#include <Redland/librdf.h>
33+
#endif
34+
35+
#endif

0 commit comments

Comments
 (0)