Project

General

Profile

« Previous | Next » 

Revision e95fd696

IDe95fd69649bbeea38b63a2de73d55446fae6b541
Parent 4cf572fb
Child 274be219

Added by Ludwig Dietel over 1 year ago

Added TBox normalisation and subsumption reasoning

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences