Skip to content

Project for Knowledge Representation and Ontologies. Implements the perfect reformulation algorithm for querying DL ontologies.

Notifications You must be signed in to change notification settings

AFellner/PerfectRef

Repository files navigation

To run please install sbt from http://www.scala-sbt.org/

After installing go to program path in a terminal and type "sbt"

In sbt enter "compile"

There are two ways to run the program: enter "run" to run in the interactive mode or enter "run _ontology _query [mode]"

(query must be in quotation marks) where mode is optional and can be 0, 1 or 2 for displaying either: 0: results only 1: results & ontology query 2: results, ontology query & SQL query

About

Project for Knowledge Representation and Ontologies. Implements the perfect reformulation algorithm for querying DL ontologies.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages