A Lattice-Based Labelled Reasoner

LBLR (pronounced /ˈleɪbələ/) is a tool that allows for the propagation of axiom-labels to complex ontology consequences.

This page is currently under construction. More information on LBLR to come soon.

Downloading LBLR

The LBLR plugin can be downloaded from here. This is a jar (a Java library). To install it, just copy the jar into the plugins directory of Protégé.

LBLR is an open source project. At the moment the source code is not totally ready for publishing, and hence is only available through direct enquires.

Using LBLR

Detailed instructions on using LBLR will be available soon in this space.


The current version of LBLR is being developed by:

  • Eldora
  • Martin Knechtel

Publications on/related to LBLR

F. Baader, M. Knechtel, and R. Peñaloza. A Generic Approach for Large-Scale Ontological Reasoning in the Presence of Access Restrictions to the Ontology's Axioms. In Abraham Bernstein et al., editors, Proceedings of the 8th International Semantic Web Conference (ISWC 2009), volume 5823 of Lecture Notes in Computer Science, pages 49–64. Springer-Verlag, 2009. 
Bibtex entry  Abstract  Paper (PDF)  ©Springer-Verlag


Any questions or bug reports are truely welcome, please feel free to contact us by sending an email to { penaloza } [at] tcs [dot] inf [dot] tu-dresden [dot] de.


Zu dieser Seite

Francesco Kriegel
Letzte Änderung: 25.10.2017