Merge branch 'master' of https://github.com/julianmendez/uel into asy…

…nc-asp
julianmendez · Apr 28, 2017 · d7ac015 · d7ac015
2 parents 80ecb17 + 6adabbb
commit d7ac015
Show file tree

Hide file tree

Showing 10 changed files with 42 additions and 16 deletions.
diff --git a/pom.xml b/pom.xml
@@ -94,7 +94,7 @@
 		<owlapi.version>4.2.8</owlapi.version>
 		<protege.version>5.2.0</protege.version>
 		<sat4j.version>2.3.5</sat4j.version>
-		<jcel.version>0.24.0</jcel.version>
+		<jcel.version>0.24.1</jcel.version>
 	</properties>
 
 	<build>

diff --git a/uel-asp/src/main/javadoc/overview.html b/uel-asp/src/main/javadoc/overview.html
@@ -1,8 +1,8 @@
 <?xml version="1.0" encoding="utf-8"?>
 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN"
-  "https://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
+  "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
 
-<html xmlns="https://www.w3.org/1999/xhtml" xml:lang="en">
+<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en">
 
 <head>
   <meta http-equiv="content-type" content="application/xhtml+xml; charset=us-ascii" />

diff --git a/uel-core/src/main/javadoc/overview.html b/uel-core/src/main/javadoc/overview.html
@@ -1,8 +1,8 @@
 <?xml version="1.0" encoding="utf-8"?>
 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN"
-  "https://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
+  "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
 
-<html xmlns="https://www.w3.org/1999/xhtml" xml:lang="en">
+<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en">
 <!--
  *
  * @author Julian Mendez

diff --git a/uel-protege/src/main/javadoc/overview.html b/uel-protege/src/main/javadoc/overview.html
@@ -1,8 +1,8 @@
 <?xml version="1.0" encoding="utf-8"?>
 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN"
-  "https://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
+  "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
 
-<html xmlns="https://www.w3.org/1999/xhtml" xml:lang="en">
+<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en">
 <!--
  *
  * @author Julian Mendez

diff --git a/uel-rule/src/main/javadoc/overview.html b/uel-rule/src/main/javadoc/overview.html
@@ -1,8 +1,8 @@
 <?xml version="1.0" encoding="utf-8"?>
 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN"
-  "https://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
+  "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
 
-<html xmlns="https://www.w3.org/1999/xhtml" xml:lang="en">
+<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en">
 
 <head>
   <meta http-equiv="content-type" content="application/xhtml+xml; charset=us-ascii" />

diff --git a/uel-sat/src/main/javadoc/overview.html b/uel-sat/src/main/javadoc/overview.html
@@ -1,8 +1,8 @@
 <?xml version="1.0" encoding="utf-8"?>
 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN"
-  "https://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
+  "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
 
-<html xmlns="https://www.w3.org/1999/xhtml" xml:lang="en">
+<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en">
 
 <head>
   <meta http-equiv="content-type" content="application/xhtml+xml; charset=us-ascii" />

diff --git a/uel-type/src/main/javadoc/overview.html b/uel-type/src/main/javadoc/overview.html
@@ -1,8 +1,8 @@
 <?xml version="1.0" encoding="utf-8"?>
 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN"
-  "https://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
+  "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
 
-<html xmlns="https://www.w3.org/1999/xhtml" xml:lang="en">
+<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en">
 
 <head>
   <meta http-equiv="content-type" content="application/xhtml+xml; charset=us-ascii" />

diff --git a/uel-ui/src/main/javadoc/overview.html b/uel-ui/src/main/javadoc/overview.html
@@ -1,8 +1,8 @@
 <?xml version="1.0" encoding="utf-8"?>
 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN"
-  "https://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
+  "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
 
-<html xmlns="https://www.w3.org/1999/xhtml" xml:lang="en">
+<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en">
 <!--
  *
  * @author Julian Mendez

diff --git a/update-info/protege-5/read-me.html b/update-info/protege-5/read-me.html
@@ -0,0 +1,26 @@
+
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN"
+  "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
+
+<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en">
+<head>
+  <title>UEL</title>
+</head>
+
+<body>
+  <div>
+    <h2>UEL</h2>
+
+    <b>UEL</b> is a unification solver for the description logic EL.
+
+    <ul>
+      <li>Website: <a href=
+      "https://julianmendez.github.io/uel/">https://julianmendez.github.io/uel/</a></li>
+
+      <li>Source code: <a href=
+      "https://github.com/julianmendez/uel">https://github.com/julianmendez/uel</a></li>
+    </ul>
+  </div>
+</body>
+</html>
+
diff --git a/update-info/protege-5/update.properties b/update-info/protege-5/update.properties
@@ -2,7 +2,7 @@ id=de.tu-dresden.inf.lat.uel
 version=1.4.0
 download=https://github.com/julianmendez/uel/releases/download/v1.4.0/de.tu-dresden.inf.lat.uel-1.4.0.jar
 name=UEL
-readme=https://raw.githubusercontent.com/julianmendez/uel/master/README.md
+readme=https://raw.githubusercontent.com/julianmendez/uel/master/update-info/protege-5/read-me.html
 license=https://www.apache.org/licenses/LICENSE-2.0.txt
 author=Barbara Morawska and Stefan Borgwardt and Julian Mendez, TU Dresden