Project

General

Profile

« Previous | Next » 

Revision fb2c1297

IDfb2c1297e1461dd2f24574fa0d016198cfa9c137
Parent 57192479
Child 02491e96

Added by Thorsten WiƟmann over 4 years ago

Implement OWL axioms DISJOINTUNION and DISJOINTCLASSES

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences