DIG 2.0 – Towards a Flexible Interface for Description Logic Reasoners

From International Center for Computational Logic

Toggle side column

DIG 2.0 – Towards a Flexible Interface for Description Logic Reasoners

Anni-Yasmin TurhanAnni-Yasmin Turhan,  Sean BechhoferSean Bechhofer,  Alissa KaplunovaAlissa Kaplunova,  Thorsten LiebigThorsten Liebig,  Marko LutherMarko Luther,  Ralf MöllerRalf Möller,  Olaf NoppensOlaf Noppens,  Peter Patel-SchneiderPeter Patel-Schneider,  Boontawee SuntisrivarapornBoontawee Suntisrivaraporn,  Timo WeithönerTimo Weithöner
Anni-Yasmin Turhan, Sean Bechhofer, Alissa Kaplunova, Thorsten Liebig, Marko Luther, Ralf Möller, Olaf Noppens, Peter Patel-Schneider, Boontawee Suntisrivaraporn, Timo Weithöner
DIG 2.0 – Towards a Flexible Interface for Description Logic Reasoners
In Bernardo Cuenca Grau and Pascal Hitzler and Connor Shankey and Evan Wallace, eds., In Proceedings of the second international workshop OWL: Experiences and Directions, November 2006
  • KurzfassungAbstract
    The DIG Interface provides an implementation-neutral mechanism for accessing Description Logic reasoner functionality. At a high level the interface can be realised as XML messages sent to the reasoner over HTTP connections, with the reasoner responding as appropriate. Key changes in the current version (DIG 2.0) include support for OWL 1.1 and well-defined mechanisms for extensions to the basic interface.
  • Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@inproceedings{ TurhanEtAl-OWLED06,
  author = {Anni-Yasmin {Turhan} and Sean {Bechhofer} and Alissa {Kaplunova} and Thorsten {Liebig} and Marko {Luther} and Ralf {M{\"o}ller} and Olaf {Noppens} and Peter {Patel-Schneider} and Boontawee {Suntisrivaraporn} and Timo {Weith{\"o}ner}},
  booktitle = {In Proceedings of the second international workshop OWL: Experiences and Directions},
  editor = {Bernardo Cuenca {Grau} and Pascal {Hitzler} and Connor {Shankey} and Evan {Wallace}},
  month = {November},
  title = {DIG 2.0 -- Towards a Flexible Interface for Description Logic Reasoners},
  year = {2006},
}