BibSonomy :: user  :: aljsanchez ::

bookmarks

publications

(3)   

• Augmenting Concept Languages by Transitive Closure of Roles: An Alternative to Terminological Cycles
  Franz Baader RR-90-13. Deutsches Forschungszentrum für Künstliche Intelligenz GmbHErwin-Schrödinger StrassePostfach 208067608 KaiserslauternGermany, (1990)
  to description transitive logic by aljsanchez on Nov 11, 2007, 6:46 AM
  URL | BibTeX 
• Description Logics with Transitive Roles
  I. Horrocks and G. Gough page25--28. (1997)
  to transitive logic description by aljsanchez and 1 other person on Nov 11, 2007, 3:45 AM
  URL | BibTeX 
• A Description Logic with Transitive and Converse Roles, Role Hierarchies and Qualifying Number Restrictions
  Ian Horrocks and Ulrike Sattler and Stephan Tobies LTCS-Report, 99-08. LuFg Theoretical Computer Science, RWTH Aachen, Germany, (1999)
  to logic description transitive by aljsanchez on Nov 11, 2007, 3:33 AM
  URL | BibTeX