Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Initial commit #1

Open
wants to merge 109 commits into
base: master
Choose a base branch
from
Open
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
109 commits
Select commit Hold shift + click to select a range
9ac9a25
Initial commit
GunjanSingh1 Aug 29, 2019
b3353ca
added config file
GunjanSingh1 Oct 15, 2019
c819404
.
GunjanSingh1 Oct 24, 2019
f6ac8c2
updates
GunjanSingh1 Dec 8, 2019
7bb20e4
.
GunjanSingh1 Dec 8, 2019
1c8300c
Revert "updates"
GunjanSingh1 Dec 8, 2019
e252b9b
Revert "."
GunjanSingh1 Dec 8, 2019
2d1dd87
updatess
GunjanSingh1 Dec 8, 2019
ee6abd5
Added Executable Jar
GunjanSingh1 Dec 8, 2019
ba8db52
Added Details
GunjanSingh1 Dec 8, 2019
503db02
Added Details
GunjanSingh1 Dec 8, 2019
83d0913
Added Details
GunjanSingh1 Dec 8, 2019
a0afe10
Update Generator.java
GunjanSingh1 Jan 21, 2020
b861407
Update Generator.java
GunjanSingh1 Jan 21, 2020
f137387
updated univeristy.java and college.java
GunjanSingh1 Jan 21, 2020
a2cdfcc
Delete UNIV-BENCH-OWL2DL.obda
GunjanSingh1 Jan 21, 2020
a3b6aef
Delete UNIV-BENCH-OWL2DL.properties
GunjanSingh1 Jan 21, 2020
75e8b85
Delete UNIV-BENCH-OWL2EL.obda
GunjanSingh1 Jan 21, 2020
b43a9ed
Delete UNIV-BENCH-OWL2RL.properties
GunjanSingh1 Jan 21, 2020
6fa949b
Delete UNIV-BENCH-OWL2EL.properties
GunjanSingh1 Jan 21, 2020
43e84e3
Delete UNIV-BENCH-OWL2QL.obda
GunjanSingh1 Jan 21, 2020
ae89f17
Delete UNIV-BENCH-OWL2QL.properties
GunjanSingh1 Jan 21, 2020
5802761
Delete UNIV-BENCH-OWL2RL.obda
GunjanSingh1 Jan 21, 2020
a31d49f
Delete UnivBench2DL.iml
GunjanSingh1 Jan 21, 2020
223a9b5
Delete el test.owl
GunjanSingh1 Jan 21, 2020
b24ef58
Delete output1.owl
GunjanSingh1 Jan 21, 2020
798effd
Delete testnew.owl
GunjanSingh1 Jan 21, 2020
40ebb88
Delete univ-bench-2dl-rdfxmlformat.owl
GunjanSingh1 Jan 21, 2020
cff4b51
Update README.md
GunjanSingh1 Jan 21, 2020
727b989
Update Department.java
GunjanSingh1 Jan 21, 2020
08491c1
deleted some files
GunjanSingh1 Jan 21, 2020
2248376
Merge branch 'master' of https://github.com/GunjanSingh1/owl2dl-bench…
GunjanSingh1 Jan 21, 2020
1ad5b12
..
GunjanSingh1 Jan 21, 2020
05f1dc3
Update README.md
GunjanSingh1 Jan 22, 2020
5c4e9b3
Update README.md
GunjanSingh1 Jan 22, 2020
59546da
Update README.md
GunjanSingh1 Jan 22, 2020
5bc0adb
added comments to each file
GunjanSingh1 Jan 23, 2020
003c48d
Merge branch 'master' of https://github.com/GunjanSingh1/owl2dl-bench…
GunjanSingh1 Jan 23, 2020
49acfdd
Update README.md
GunjanSingh1 Jan 23, 2020
9353618
Update README.md
GunjanSingh1 Jan 23, 2020
d25cbc1
Update README.md
GunjanSingh1 Jan 23, 2020
7c54ecd
Update README.md
GunjanSingh1 Jan 23, 2020
1607366
Update README.md
GunjanSingh1 Jan 23, 2020
be19fd4
sample output files (Empty)
GunjanSingh1 Jan 23, 2020
7a7dd69
Update README.md
GunjanSingh1 Jan 23, 2020
3586065
Add files via upload
GunjanSingh1 Jan 23, 2020
650bdef
Update README.md
GunjanSingh1 Jan 23, 2020
16fb0c5
Update README.md
GunjanSingh1 Jan 23, 2020
0927853
Update README.md
GunjanSingh1 Jan 23, 2020
2bf4b7f
sample output files (empty)
GunjanSingh1 Jan 23, 2020
07dc9f5
Merge branch 'master' of https://github.com/GunjanSingh1/owl2dl-bench…
GunjanSingh1 Jan 23, 2020
055b565
Update README.md
GunjanSingh1 Jan 23, 2020
9dcf8b2
Update README.md
GunjanSingh1 Jan 23, 2020
a6aab2d
Update README.md
GunjanSingh1 Jan 23, 2020
fa3b1a5
Update README.md
GunjanSingh1 Jan 23, 2020
fd6688c
Update UNIV-BENCH-OWL2DL.owl
GunjanSingh1 Jan 23, 2020
f85a370
Merge branch 'master' of https://github.com/GunjanSingh1/owl2dl-bench…
GunjanSingh1 Jan 23, 2020
ffd865a
Delete compiler.xml
GunjanSingh1 Jan 23, 2020
34ce5da
Delete encodings.xml
GunjanSingh1 Jan 23, 2020
b3cf6d1
Delete misc.xml
GunjanSingh1 Jan 23, 2020
ca4c21b
Delete sbt.xml
GunjanSingh1 Jan 23, 2020
85487bc
Delete uiDesigner.xml
GunjanSingh1 Jan 23, 2020
e030ccf
Delete workspace.xml
GunjanSingh1 Jan 23, 2020
e39f194
Delete org.eclipse.core.resources.prefs
GunjanSingh1 Jan 23, 2020
2c8af52
Delete org.eclipse.jdt.core.prefs
GunjanSingh1 Jan 23, 2020
c5ef15f
Delete .classpath
GunjanSingh1 Jan 23, 2020
0dd4002
Delete .gitattributes
GunjanSingh1 Jan 23, 2020
e7e4922
Delete .gitignore
GunjanSingh1 Jan 23, 2020
80b1594
Delete .project
GunjanSingh1 Jan 23, 2020
823cce9
Update README.md
GunjanSingh1 Jan 23, 2020
fd88d71
Update README.md
GunjanSingh1 Jan 23, 2020
2bd5a51
Update README.md
GunjanSingh1 Jan 23, 2020
93d69cf
updated generator.java
GunjanSingh1 Jan 24, 2020
9bec419
Merge branch 'master' of https://github.com/GunjanSingh1/owl2dl-bench…
GunjanSingh1 Jan 24, 2020
60dfa72
added
GunjanSingh1 Jan 24, 2020
aaa4dd4
added queries
GunjanSingh1 Jan 25, 2020
dabdf2d
Delete OWL2EL-1-output.owl
GunjanSingh1 Jan 25, 2020
e586f67
Delete .project
GunjanSingh1 Jan 25, 2020
e3a14e2
Update README.md
GunjanSingh1 Jan 25, 2020
e591c55
Sample Images
GunjanSingh1 Jan 25, 2020
f7e5605
Merge branch 'master' of https://github.com/GunjanSingh1/owl2dl-bench…
GunjanSingh1 Jan 25, 2020
3d76950
Update README.md
GunjanSingh1 Jan 25, 2020
e0b7bfd
.
GunjanSingh1 Jan 25, 2020
a60b503
Add files via upload
GunjanSingh1 Jan 25, 2020
0f033d8
Add files via upload
GunjanSingh1 Jan 25, 2020
845951e
..
GunjanSingh1 Jan 25, 2020
ad72ef3
Delete Sample ABox.png
GunjanSingh1 Jan 25, 2020
d499c5d
Add files via upload
GunjanSingh1 Jan 25, 2020
751e39d
Delete Sample TBox.png
GunjanSingh1 Jan 25, 2020
ce9cd14
Add files via upload
GunjanSingh1 Jan 25, 2020
0bbe656
Delete Sample TBox.png
GunjanSingh1 Jan 25, 2020
bc7f1f6
Add files via upload
GunjanSingh1 Jan 25, 2020
a94e56b
Update README.md
GunjanSingh1 Jan 25, 2020
6214098
Update README.md
GunjanSingh1 Jan 25, 2020
b656ac4
Update README.md
GunjanSingh1 Jan 25, 2020
0632a4e
.
GunjanSingh1 Mar 4, 2020
25acb2a
Merge branch 'master' of https://github.com/GunjanSingh1/owl2dl-bench…
GunjanSingh1 Mar 4, 2020
14361f2
.
GunjanSingh1 Mar 26, 2020
b64a963
.
GunjanSingh1 Apr 16, 2020
848c1ef
.
GunjanSingh1 Apr 18, 2020
f3561b0
.
GunjanSingh1 May 1, 2020
2ef9ac3
.
GunjanSingh1 May 21, 2020
c671234
Updated ReadMe
GunjanSingh1 May 21, 2020
78da64b
updated excel sheet
GunjanSingh1 May 21, 2020
cab41f7
.
GunjanSingh1 May 25, 2020
6e73633
deleted unnecessary files
GunjanSingh1 May 26, 2020
8748ae6
config.properties
GunjanSingh1 May 26, 2020
ac6ee0c
Updated README
GunjanSingh1 May 26, 2020
4f257f0
Delete OWL2Bench.jar
GunjanSingh1 May 27, 2020
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
The table of contents is too big for display.
Diff view
Diff view
  •  
  •  
  •  
23 changes: 23 additions & 0 deletions .project
Original file line number Diff line number Diff line change
@@ -0,0 +1,23 @@
<?xml version="1.0" encoding="UTF-8"?>
<projectDescription>
<name>maven</name>
<comment></comment>
<projects>
</projects>
<buildSpec>
<buildCommand>
<name>org.eclipse.jdt.core.javabuilder</name>
<arguments>
</arguments>
</buildCommand>
<buildCommand>
<name>org.eclipse.m2e.core.maven2Builder</name>
<arguments>
</arguments>
</buildCommand>
</buildSpec>
<natures>
<nature>org.eclipse.jdt.core.javanature</nature>
<nature>org.eclipse.m2e.core.maven2Nature</nature>
</natures>
</projectDescription>
12 changes: 12 additions & 0 deletions Experiments/README.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,12 @@
# Experiments
OWL2Bench was used to evaluate 6 OWL 2 Reasoners (ELK, HermiT, Openllet, Pellet, Konclude and JFact) and 2 SPARQL Query Engines (Stardog and GraphDB).

This directory consists of the java code for HermiT, Openllet, Pellet, and JFact that were implemented using the OWL API. For the other two reasoners Konclude (https://www.derivo.de/fileadmin/externe_websites/ext.derivo/KoncludeReleases/v0.6.2-544/Konclude-v0.6.2-544-Linux-x64-GCC4.3.2-Static-Qt4.8.5.zip) and ELK(https://github.com/liveontologies/elk-reasoner/releases/tag/v0.4.3) standalone executable files were used. We compare the six ontology reasoners with respect to the time taken for performing three major reasoning tasks, namely, consistency checking, classification, and realisation.

We use GraphDB 9.0.08 and Stardog 7.0.27 for running the SPARQL queries. GraphDB supports SPARQL
queries and OWL 2 QL, OWL 2 RL profiles (but not OWL 2 EL and OWL 2 DL). Stardog's underlying reasoner is Pellet and hence it supports ontologies of
all the profiles including OWL 2 DL. For the GraphDB we used its LoadRDF tool that does offline loading and is mainly used for loading large files. We compare these two systems in terms of their loading time and query response time.




29 changes: 29 additions & 0 deletions Experiments/hermit/.classpath
Original file line number Diff line number Diff line change
@@ -0,0 +1,29 @@
<?xml version="1.0" encoding="UTF-8"?>
<classpath>
<classpathentry kind="src" output="target/classes" path="src/main/java">
<attributes>
<attribute name="optional" value="true"/>
<attribute name="maven.pomderived" value="true"/>
</attributes>
</classpathentry>
<classpathentry kind="src" output="target/test-classes" path="src/test/java">
<attributes>
<attribute name="test" value="true"/>
<attribute name="optional" value="true"/>
<attribute name="maven.pomderived" value="true"/>
</attributes>
</classpathentry>
<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/J2SE-1.5">
<attributes>
<attribute name="maven.pomderived" value="true"/>
</attributes>
</classpathentry>
<classpathentry kind="con" path="org.eclipse.m2e.MAVEN2_CLASSPATH_CONTAINER">
<attributes>
<attribute name="maven.pomderived" value="true"/>
</attributes>
</classpathentry>
<classpathentry kind="lib" path="C:/Users/Gunjan/Desktop/HermiT/HermiT.jar"/>
<classpathentry kind="lib" path="C:/Users/Gunjan/Desktop/HermiT/org.semanticweb.HermiT.jar"/>
<classpathentry kind="output" path="target/classes"/>
</classpath>
23 changes: 23 additions & 0 deletions Experiments/hermit/.project
Original file line number Diff line number Diff line change
@@ -0,0 +1,23 @@
<?xml version="1.0" encoding="UTF-8"?>
<projectDescription>
<name>hermit</name>
<comment></comment>
<projects>
</projects>
<buildSpec>
<buildCommand>
<name>org.eclipse.jdt.core.javabuilder</name>
<arguments>
</arguments>
</buildCommand>
<buildCommand>
<name>org.eclipse.m2e.core.maven2Builder</name>
<arguments>
</arguments>
</buildCommand>
</buildSpec>
<natures>
<nature>org.eclipse.jdt.core.javanature</nature>
<nature>org.eclipse.m2e.core.maven2Nature</nature>
</natures>
</projectDescription>
4 changes: 4 additions & 0 deletions Experiments/hermit/.settings/org.eclipse.core.resources.prefs
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
eclipse.preferences.version=1
encoding//src/main/java=UTF-8
encoding//src/test/java=UTF-8
encoding/<project>=UTF-8
8 changes: 8 additions & 0 deletions Experiments/hermit/.settings/org.eclipse.jdt.core.prefs
Original file line number Diff line number Diff line change
@@ -0,0 +1,8 @@
eclipse.preferences.version=1
org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.5
org.eclipse.jdt.core.compiler.compliance=1.5
org.eclipse.jdt.core.compiler.problem.enablePreviewFeatures=disabled
org.eclipse.jdt.core.compiler.problem.forbiddenReference=warning
org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=ignore
org.eclipse.jdt.core.compiler.release=disabled
org.eclipse.jdt.core.compiler.source=1.5
4 changes: 4 additions & 0 deletions Experiments/hermit/.settings/org.eclipse.m2e.core.prefs
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
activeProfiles=
eclipse.preferences.version=1
resolveWorkspaceProjects=true
version=1
Binary file added Experiments/hermit/HermiT.jar
Binary file not shown.
Empty file.
Binary file added Experiments/hermit/org.semanticweb.HermiT.jar
Binary file not shown.
48 changes: 48 additions & 0 deletions Experiments/hermit/pom.xml
Original file line number Diff line number Diff line change
@@ -0,0 +1,48 @@
<project xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd">
<modelVersion>4.0.0</modelVersion>

<groupId>debug</groupId>
<artifactId>hermit</artifactId>
<version>0.0.1-SNAPSHOT</version>
<packaging>jar</packaging>

<name>hermit</name>
<url>http://maven.apache.org</url>

<properties>
<project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
</properties>

<dependencies>
<dependency>
<groupId>junit</groupId>
<artifactId>junit</artifactId>
<version>3.8.1</version>
<scope>test</scope>
</dependency>
<!-- https://mvnrepository.com/artifact/com.hermit-reasoner/org.semanticweb.hermit -->
<dependency>
<groupId>com.hermit-reasoner</groupId>
<artifactId>org.semanticweb.hermit</artifactId>
<version>1.3.8.1</version>
</dependency>
<!-- https://mvnrepository.com/artifact/org.antlr/antlr -->
<dependency>
<groupId>org.antlr</groupId>
<artifactId>antlr</artifactId>
<version>3.5.2</version>
</dependency>
<dependency>
<groupId>org.slf4j</groupId>
<artifactId>slf4j-api</artifactId>
<version>1.7.5</version>
</dependency>
<dependency>
<groupId>org.slf4j</groupId>
<artifactId>slf4j-log4j12</artifactId>
<version>1.7.5</version>
</dependency>

</dependencies>
</project>
18 changes: 18 additions & 0 deletions Experiments/hermit/project/.classpath
Original file line number Diff line number Diff line change
@@ -0,0 +1,18 @@
<?xml version="1.0" encoding="UTF-8"?>
<classpath>
<classpathentry kind="src" path="test"/>
<classpathentry kind="src" path="getopt"/>
<classpathentry kind="src" path="src"/>
<classpathentry kind="src" path="examples"/>
<classpathentry kind="con" path="org.eclipse.jdt.junit.JUNIT_CONTAINER/4"/>
<classpathentry kind="lib" path="lib/dk.brics.automaton-1.11-2.jar" sourcepath="lib/dk.brics.automaton-1.11-2-src.jar"/>
<classpathentry kind="lib" path="lib/jautomata-core-2.0-alpha-1.jar" sourcepath="lib/jautomata-core-2.0-alpha-1-src.jar"/>
<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER"/>
<classpathentry kind="lib" path="lib/axiom-1.2.8.jar"/>
<classpathentry kind="lib" path="lib/commons-logging-1.1.1.jar" sourcepath="lib/commons-logging-1.1.1-src.zip"/>
<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
<classpathentry kind="lib" path="lib/org.protege.editor.core.application-4.2.jar"/>
<classpathentry kind="lib" path="lib/org.protege.editor.owl-4.2.jar"/>
<classpathentry kind="lib" path="lib/owlapi-3.4.3.jar" sourcepath="lib/owlapi-3.4.3-src.jar"/>
<classpathentry kind="output" path="bin"/>
</classpath>
17 changes: 17 additions & 0 deletions Experiments/hermit/project/.project
Original file line number Diff line number Diff line change
@@ -0,0 +1,17 @@
<?xml version="1.0" encoding="UTF-8"?>
<projectDescription>
<name>HermiT</name>
<comment></comment>
<projects>
</projects>
<buildSpec>
<buildCommand>
<name>org.eclipse.jdt.core.javabuilder</name>
<arguments>
</arguments>
</buildCommand>
</buildSpec>
<natures>
<nature>org.eclipse.jdt.core.javanature</nature>
</natures>
</projectDescription>
Loading