Merge pull request #2 from RuleML/1.1-SANPSHOT

1.1 Hornlog+ support

.gitignore

@@ -1,3 +1 @@
-build/
-release/
-.ant*
+target/

README.md

@@ -3,27 +3,23 @@ RuleML2TPTP
 
 *This is an easy-to-use translator utilizing XSLT 2.0 between two rule languages.*
 
+### Notice
+
+This project was originally developed on [EdmonL/RuleML2TPTP](https://github.com/EdmonL/RuleML2TPTP), but now the development work has been transferred to this repository. The old repository [EdmonL/RuleML2TPTP](https://github.com/EdmonL/RuleML2TPTP) is kept only for reference (like a frozen branch or a tag). The entry page for the old repository is [here](http://edmonl.github.io/RuleML2TPTP/).
+
 ### Introduction
 
 [RuleML](http://wiki.ruleml.org) is a knowledge representation language developed by the non-profit organization RuleML Inc. RuleML is being used for sharing rule bases in XML and publishing them on the Web. It has broad coverage and is defined as an extensible family of sublanguages across various rule logics and platforms. RuleML consists of [Deliberation RuleML](http://wiki.ruleml.org/index.php/Specification_of_Deliberation_RuleML) and [Reaction RuleML](http://wiki.ruleml.org/index.php/Specification_of_Reaction_RuleML). 
 
-This project is aimed at implementing an [XSLT 2.0](http://www.w3.org/TR/xslt20/) translator to convert [Datalog+](http://www.slideshare.net/polibear/datalog-and-its-extensions-for-semantic-web-databases) [Deliberation RuleML 1.01](http://wiki.ruleml.org/index.php/Specification_of_Deliberation_RuleML_1.01) in XML format to an equivalent representation in a subset of the (FOF) [TPTP](http://www.cs.miami.edu/~tptp/) language. See [here](http://deliberation.ruleml.org/1.01/doc/datalogplus_min_normal/) for the normalized Datalog+ Deliberation RuleML 1.01 schema on which this project is based.
-
-The entry page of the project is [here](http://edmonl.github.io/RuleML2TPTP/).
+This project is aimed at implementing an [XSLT 2.0](http://www.w3.org/TR/xslt20/) translator to convert [Deliberation RuleML 1.01](http://wiki.ruleml.org/index.php/Specification_of_Deliberation_RuleML_1.01) in XML format to an equivalent representation in a subset of the (FOF) [TPTP](http://www.cs.miami.edu/~tptp/) language.
 
 ### Getting Started
 
-1. Download the binary or source code from the [project releases](https://github.com/EdmonL/RuleML2TPTP/releases).
-2. If the source code is downloaded, use ant to build by "ant jar". See "ant -projecthelp" for other ant targets.
-3. Translate a RuleML file by calling "java -jar /path/to/ruleml2tptp.jar -s <source RuleML filename> -o <output filename>". See "java -jar /path/to/ruleml2tptp.jar -h" for full usage.
-4. Java SE 7 or higher is recommended.
-5. Saxon is used dynamically, so saxon.jar can be removed and the local JAXP implementation will be used instead. Make sure, however, that the local implementation supports XSLT 2.0, or things will go wrong.
-6. See the [project wiki](https://github.com/EdmonL/RuleML2TPTP/wiki) for other documentation.
+1. This project is built using [maven](http://maven.apache.org/).
+2. Translate a RuleML file by calling "java -jar /path/to/ruleml2tptp.jar <source> -o <output>". Use option "-h" for a brief usage.
+3. This project needs JDK 1.7 or higher to compile the Java code.
 
 ### RuleML Examples
 
-Here are some good RuleML examples from [RuleML wiki](http://wiki.ruleml.org/index.php/Specification_of_Deliberation_RuleML_1.01#Examples) or [here](http://deliberation.ruleml.org/1.01/exa/DatalogPlus/) to try with this project.
-
-### License
+Here are some good RuleML examples from [RuleML wiki](http://wiki.ruleml.org/index.php/Specification_of_Deliberation_RuleML_1.01#Examples) to try with this project.
 
-This project is under [GNU GPL v3.0](https://github.com/EdmonL/RuleML2TPTP/blob/master/LICENSE).

pom.xml

@@ -0,0 +1,88 @@
+<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>org.ruleml.translation.ruleml2tptp</groupId>
+  <artifactId>ruleml2tptp</artifactId>
+  <version>1.1</version>
+  <packaging>jar</packaging>
+
+  <name>ruleml2tptp</name>
+  <url>https://github.com/RuleML/RuleML2TPTP</url>
+
+  <properties>
+    <project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
+  </properties>
+
+  <dependencies>
+    <dependency>
+      <groupId>args4j</groupId>
+      <artifactId>args4j</artifactId>
+      <version>2.0.29</version>
+      <scope>compile</scope>
+    </dependency>
+    <dependency>
+      <groupId>net.sf.saxon</groupId>
+      <artifactId>Saxon-HE</artifactId>
+      <version>9.6.0-4</version>
+      <scope>compile</scope>
+    </dependency>
+    <dependency>
+      <groupId>junit</groupId>
+      <artifactId>junit</artifactId>
+      <version>4.12</version>
+      <scope>test</scope>
+    </dependency>
+    <dependency>
+      <groupId>commons-io</groupId>
+      <artifactId>commons-io</artifactId>
+      <version>2.4</version>
+      <scope>test</scope>
+    </dependency>
+  </dependencies>
+
+  <build>
+    <plugins>
+      <plugin>
+        <groupId>org.apache.maven.plugins</groupId>
+        <artifactId>maven-compiler-plugin</artifactId>
+        <version>3.2</version>
+        <configuration>
+          <source>1.7</source>
+          <target>1.7</target>
+        </configuration>
+      </plugin>
+      <plugin>
+        <groupId>org.apache.maven.plugins</groupId>
+        <artifactId>maven-jar-plugin</artifactId>
+        <version>2.5</version>
+        <configuration>
+          <archive>
+            <manifest>
+              <mainClass>org.ruleml.translation.ruleml2tptp.Main</mainClass>
+              <addClasspath>true</addClasspath>
+              <classpathPrefix>dependency/</classpathPrefix>
+            </manifest>
+          </archive>
+        </configuration>
+      </plugin>
+      <plugin>
+        <groupId>org.apache.maven.plugins</groupId>
+        <artifactId>maven-dependency-plugin</artifactId>
+        <version>2.10</version>
+        <executions>
+          <execution>
+            <phase>package</phase>
+            <goals>
+              <goal>copy-dependencies</goal>
+            </goals>
+            <configuration>
+              <includeScope>compile</includeScope>
+            </configuration>
+          </execution>
+        </executions>
+      </plugin>
+    </plugins>
+  </build>
+
+</project>