Description Logics with Symbolic Number Restrictions

F. BaaderF. Baader, U. SattlerU. Sattler

Datei:BaaderSattler-LTCS3.ps.gz

Download

F. Baader, U. Sattler
Description Logics with Symbolic Number Restrictions
Technical Report, LuFg Theoretical Computer Science, RWTH Aachen, volume LTCS-96-03, 1996

Details
Bibtex

Bemerkung: Note: An abridged version has appeared in the Proceedings of the 12th European Conference on Artificial Intelligence, 1996, Budapest, Hungary.
Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

@techreport{ BaaderSattler-LTCS-96-03,
  author = {F. {Baader} and U. {Sattler}},
  institution = {LuFg Theoretical Computer Science, RWTH Aachen},
  note = {An abridged version has appeared in the Proceedings of the 12th European Conference on Artificial Intelligence, 1996, Budapest, Hungary.},
  number = {LTCS-96-03},
  title = {Description Logics with Symbolic Number Restrictions},
  year = {1996},
}