Skip to content

Commit

Permalink
Import Pellet 2.3.0 source code from svn into git
Browse files Browse the repository at this point in the history
  • Loading branch information
evren committed Apr 10, 2013
0 parents commit df60713
Show file tree
Hide file tree
Showing 3,254 changed files with 730,235 additions and 0 deletions.
The diff you're trying to view is too large. We only load the first 3000 changed files.
51 changes: 51 additions & 0 deletions .classpath
@@ -0,0 +1,51 @@
<?xml version="1.0" encoding="UTF-8"?>
<classpath>
<classpathentry kind="src" path="core/src"/>
<classpathentry kind="src" path="cli/src"/>
<classpathentry kind="src" path="datatypes/src"/>
<classpathentry kind="src" path="dig/src"/>
<classpathentry kind="src" path="el/src"/>
<classpathentry kind="src" path="examples/src"/>
<classpathentry kind="src" path="explanation/src"/>
<classpathentry kind="src" path="jena/src"/>
<classpathentry kind="src" path="modularity/src"/>
<classpathentry kind="src" path="owlapi/src"/>
<classpathentry kind="src" path="owlapiv3/src"/>
<classpathentry kind="src" path="owlapiv3/test"/>
<classpathentry kind="src" path="pellint/src"/>
<classpathentry kind="src" path="profiler/src"/>
<classpathentry kind="src" path="query/src"/>
<classpathentry kind="src" path="query/gen-src"/>
<classpathentry kind="src" path="rules/src"/>
<classpathentry kind="src" path="test/src"/>
<classpathentry kind="lib" path="profiler/lib/getopt-java/java-getopt-1.0.13.jar"/>
<classpathentry kind="lib" path="core/lib/aterm-java-1.6.jar"/>
<classpathentry kind="lib" path="datatypes/lib/xsdlib/relaxngDatatype.jar"/>
<classpathentry kind="lib" path="datatypes/lib/xsdlib/xsdlib.jar"/>
<classpathentry kind="lib" path="dig/lib/servlet.jar"/>
<classpathentry kind="lib" path="dig/lib/jetty/jetty.jar"/>
<classpathentry kind="lib" path="owlapiv3/lib/owlapiv3/owlapi-bin.jar" sourcepath="owlapiv3/lib/owlapiv3/owlapi-src.jar"/>
<classpathentry kind="lib" path="owlapi/lib/owlapi/owlapi-bin.jar" sourcepath="owlapi/lib/owlapi/owlapi-src.jar"/>
<classpathentry kind="lib" path="test/lib/junit/junit.jar"/>
<classpathentry kind="lib" path="jena/lib/jena/lucene-core-2.3.1.jar"/>
<classpathentry kind="lib" path="pellint/lib/jgrapht/jgrapht-jdk1.5.jar"/>
<classpathentry kind="lib" path="jena/lib/jena/junit-4.5.jar"/>
<classpathentry kind="lib" path="jena/lib/jena/slf4j-api-1.5.8.jar"/>
<classpathentry kind="lib" path="jena/lib/jena/slf4j-log4j12-1.5.8.jar"/>
<classpathentry kind="lib" path="query/lib/antlr/antlr-3.2.jar"/>
<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER"/>
<classpathentry kind="lib" path="jena/lib/jena/arq-2.8.7.jar"/>
<classpathentry kind="lib" path="jena/lib/jena/icu4j-3.4.4.jar"/>
<classpathentry kind="lib" path="jena/lib/jena/iri-0.8.jar"/>
<classpathentry kind="lib" path="jena/lib/jena/jena-2.6.4.jar"/>
<classpathentry kind="lib" path="jena/lib/jena/log4j-1.2.13.jar"/>
<classpathentry kind="lib" path="jena/lib/jena/stax-api-1.0.1.jar"/>
<classpathentry kind="lib" path="jena/lib/jena/wstx-asl-3.2.9.jar"/>
<classpathentry kind="lib" path="jena/lib/jena/xercesImpl-2.7.1.jar"/>
<classpathentry kind="lib" path="profiler/lib/apache/commons/math/commons-math-2.0.jar"/>
<classpathentry kind="lib" path="profiler/lib/jfreechart/jcommon-1.0.16.jar"/>
<classpathentry kind="lib" path="profiler/lib/jfreechart/jfreechart-1.0.13-swt.jar"/>
<classpathentry kind="lib" path="profiler/lib/jfreechart/jfreechart-1.0.13.jar"/>
<classpathentry kind="lib" path="dig/lib/jetty/commons-logging-api.jar"/>
<classpathentry kind="output" path="bin"/>
</classpath>
17 changes: 17 additions & 0 deletions .project
@@ -0,0 +1,17 @@
<?xml version="1.0" encoding="UTF-8"?>
<projectDescription>
<name>pellet</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>
69 changes: 69 additions & 0 deletions 2.0-RELEASE.txt
@@ -0,0 +1,69 @@
We're happy to announce the release of Pellet 2.0, the first OWL 2 DL
reasoner available commercially. For more information about Pellet,
see http://clarkparsia.com/pellet.

Pellet 2.0 is available for use in open source projects under the AGPL
v.3 license; for commercial usage, alternative license terms areavailable. Long-term support contracts are available for Pellet.
Contact inquiries@clarkparsia.com for more information.

During the past 13 months, we closed 199 tickets as part of the 2.0
release candidate cycle, including numerous enhancements and bug
fixes. Please see CHANGES.txt in the distribution for a complete
change log; some highlights include:

* full OWL 2 support (modulo a few bugs that will be fixed in the 2.1
release)

* supports domain & range axioms, class expressions, qualified
cardinality restrictions, literal constants, annotations, and nested
class expressions in SPARQL queries

* support for all SWRL builtins, including previously missing builtins
(substring, tokenize, and optional precision parameters for
roundHalfToEven)

* optimized support for OWL 2 EL reasoning; OWL 2 EL reasoner is
autoselected based on data input

* supports automated ontology module extraction

* supports incremental classification

* supports fine-grained inference extraction

* enhanced SWRL rules performance

* OWLAPI v3 support

* lots of improvements, cleanups to Pellet's command line tools

* updated to work with Jena 2.6.2 -- Pellet is the only DL reasoner
available from Jena

* supports explanations via Jena

* support autoselecting best SPARQL query engine based on input query

* user-defined timeouts for reasoning

* switch to dual license model to support commercial and open source
projects

This release marks a change in Pellet development process: starting
with 2.1, Pellet will be released according to a time-based
development cycle. We will do four quarterly releases per year. We
will make point releases between the quarterly releases, as necessary,
to fix critical bugs only. Thus, the release schedule for the 2.0
series will be:

29 March 2009
28 June 2009
27 September 2009
20 December 2009

We believe this new development and release process will further
accelerate the commercialization of Pellet, with no undue impact on
its utility for either research or other non-commercial applications.

Finally, with the release of Pellet 2.0, we will no longer support
previous versions via the pellet-users mailing list.
74 changes: 74 additions & 0 deletions 2.1-RELEASE.txt
@@ -0,0 +1,74 @@
We're happy to announce the release of Pellet 2.1. This release is
available for download at the usual location:

http://clarkparsia.com/pellet/download

Since the last major point release, we closed 26 tickets, including
numerous enhancements and bug fixes. Please see CHANGES.txt in the
distribution for a complete change log; some highlights include:

* Support for Terp syntactic sugar: Manchester Syntax in SPARQL
queries; see *.terp files in examples/data for examples. For
example, query two versions of the same query to find all
people who work for an organization:

Standard SPARQL syntax
----------------------
SELECT ?person
WHERE {?person a [owl:intersectionOf (:Person
[owl:onProperty :worksFor ;
owl:someValuesFrom :Organization])].
}

Terp syntax
-----------------
SELECT ?person
WHERE {?person a (:Person and (:worksFor some :Organization)).}

Terp makes SPARQL queries of OWL easier, more comprehensible,
and more concise.

* Disk persistence of classification and realization results via
OWLAPI 3.0 when using Pellet's incremental classifier (available
via command-line in a future release).

* New datatype reasoner implementation that is more complete, more
performant, and more correct compared to earlier versions of
Pellet's datatype reasoner.

* Substantially complete OWL2 support; please report missing OWL2
features as bugs to pellet-users mailing list.

* New command-line subcommand (pellet info) that reports ontology
information, statistics, metadata, including OWL2 profile
information.

* Bug fixes as described in
http://clark-parsia.trac.cvsdude.com/pellet-devel/report/11

We are also releasing two versions of the Protege plug-in for Pellet;
one plug-in for Protege 4.0 and one plug-in for Protege 4.1 Alpha. The
plug-in for Protege 4.1 exposes incremental classifier of Pellet for
updating classification results faster as you edit your ontology in
Protege. These plug-ins are available via the auto-update feature of
Protege.

Pellet 2.1 is available for use in open source projects under the AGPL
v.3 license; for commercial usage, alternative license terms are
available. Long-term support contracts are available for Pellet. Contact
inquiries@clarkparsia.com for more information about licensing and
commercial support.

Pellet 2.1 is the first release in the new time-based development
process we're now using; three additional quarterly releases are planned
for 2010: 28 June, 27 September, and 20 December.

Please note that this release officially DEPRECATES OWLAPI 2.x support,
which will be removed entirely in a future release, but not before 2.3.
If you have commercial support requirements for OWLAPI < 3.0, please
contact us.

Finally, with the release of Pellet 2.1, we will no longer provide free
technical support of earlier versions via the pellet-users mailing list.
Please upgrade to the latest release if you want technical support on
the mailing list.
47 changes: 47 additions & 0 deletions 2.2-RELEASE.txt
@@ -0,0 +1,47 @@
We are happy to announce the release of Pellet 2.2. This release is
available for download at:

http://clarkparsia.com/pellet/download

Since the 2.1 release, we closed more than 50 tickets, including numerous
bug fixes and performance improvements. Please see CHANGES.txt in the
distribution for a complete change log; some highlights include:

* Classification performance has been improved: the most significant
speedups are for ontologies with large class hierarchies and that use
inverse properties and/or property chains. With the new optimizations,
Pellet 2.2 classifies many ontologies in seconds that Pellet 2.1 didn't
classify in reasonable time.

* Realization performance has been improved: the speedups are most
significant for ontologies where class hierarchy is not tree-like, i.e. some
classes have multiple super classes.

* Persistence of classification results is now available through Pellet
command-line (it's available in Pellet 2.1 and later via OWLAPI). Using the
--persist option with the classify subcommand will save the classification
results in a file; subsequent classifications of the ontology will
incrementally recompute the changes in the ontology and update only the
affected parts of the classification hierarchy.

* Bug fixes as described in
http://clark-parsia.trac.cvsdude.com/pellet-devel/report/11

We are also releasing two versions of the Protege plug-in for Pellet:
one plug-in for Protege 4.0 and one plug-in for Protege 4.1 Beta. These
plug-ins are available via the auto-update feature of Protege.

Pellet 2.2 is available for use in open source projects under the AGPL v.3
license; for commercial usage, alternative license terms are available.
Commercial support contracts are also available for Pellet. Contact
inquiries@clarkparsia.com for more information about licensing and
commercial support.

Two additional quarterly releases of Pellet are planned for 2010: version
2.3 on 27 September and another major release on 20 December.

Finally, with the release of Pellet 2.2, we will no longer provide free
technical support of earlier versions via the pellet-users mailing list.
Please upgrade to the latest release if you want technical support on the
mailing list. If you need support for earlier versions of Pellet, please
contact us directly to arrange support.
47 changes: 47 additions & 0 deletions ACKNOWLEDGMENTS.txt
@@ -0,0 +1,47 @@
The following people and organizations have contributed in some way to
Pellet, and we gratefully acknowledge them and their contributions:

Aditya Kalyanpur
Alex Tucker & Dave Dyke
Andy Schain
Bernardo Cuenca Grau
Bob DuCharme
Brandon Ibach
Chris Halaschek-Wiener
Damian Gessler
Dennis Thomsen & Robert Jensen and the Fredericia Crew
Daniel Hewlett
Don Kretz
Edna Ruckhaus
Harris Lin
Henson Graves
Ian Horrocks
Jack Berkowitz
Jordan Katz
Lockheed Martin
Marco Neumann
Markus Stocker
Mike Smith: Good Work, Counselor
Moody's MKMV
NASA & JPL
NCI Center for Bioinformatics, especially Frank, Gilberto & Sherri
NATO ACT & NC3A: Troy, Sven, Dave, Victor & Ilker
NIST & Evan Wallace
Ontology Partners Ltd
Pavel Klinov
Peter Patel-Schneider
Petr Kremen & Czech Technical University, Prague
Rick Murphy
Ron Alford
RPI: Jim Hendler & Deb McGuinness
The pellet-users community for reporting bugs!
Uli Sattler
University of Manchester & Matthew Horridge, Nick Drummond, et al
University of Maryland & Mindswap Lab
VectorC: Rob & Ted
Vlad Kolovski
Wolter S. Kluwer & TenForce
Others who preferred not to be named: you know who you are.

Please email Kendall Clark -- kendall@clarkparsia.com -- if we've left you
off this list in error.
5 changes: 5 additions & 0 deletions BUGS.txt
@@ -0,0 +1,5 @@
Known Bugs / Issues

See the following web page for a list for known bugs and issues:

http://clark-parsia.trac.cvsdude.com/pellet-devel/report/1

0 comments on commit df60713

Please sign in to comment.