Project

General

Profile

« Previous | Next » 

Revision 15537461

ID155374616b2aaad47278e9d6a99966e06d3c1347
Parent da7ec37f
Child 43e1b095

Added by Ludwig Dietel over 1 year ago

Added TBox normalisation and subsumption reasoning

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences