Number Restrictions on Complex Roles in Description Logics

PublikationenPublications

• Nach AutorBy Author
  • Franz BaaderFranz Baader
  • Ulrike SattlerUlrike Sattler
• Nach ForschungsgruppeBy Research Group
  • AutomatentheorieAutomata Theory

Toggle side column

Number Restrictions on Complex Roles in Description Logics

Franz BaaderFranz Baader,  Ulrike SattlerUlrike Sattler

Datei:BaaderSattler-LTCS2.ps.gz

• Download

Franz Baader, Ulrike Sattler
Number Restrictions on Complex Roles in Description Logics
Technical Report, LuFg Theoretical Computer Science, RWTH Aachen, volume LTCS-96-02, 1996

• Details
• Bibtex

• Bemerkung: Note: An abridged version has appeared in the Proceedings of the Fifth International Conference on Knowledge Representation and Reasoning, 1996, Cambridge, Massachusetts.
• Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

@techreport{ BaaderSattler-LTCS-96-02,
  author = {F. {Baader} and U. {Sattler}},
  institution = {LuFg Theoretical Computer Science, RWTH Aachen},
  note = {An abridged version has appeared in the Proceedings of the Fifth International Conference on Knowledge Representation and Reasoning, 1996, Cambridge, Massachusetts.},
  number = {LTCS-96-02},
  title = {Number Restrictions on Complex Roles in Description Logics},
  year = {1996},
}