search

konclude / Konclude

Konclude: A parallel, tableau-based, high-performance reasoner for the Description Logic SROIQV(D)/the Web Ontology Language (OWL) 2 DL
http://konclude.com
35 stars 5 forks source link

Few files licensed as LGPL-2.1 (not GPL-3 as most other files) #2

Closed jonassmedegaard closed 4 years ago

jonassmedegaard commented 4 years ago

The following files are still licensed as LGPL-2.1: Source/Logger/Record/RecordSettings.h Source/Reasoner/Kernel/Cache/CBackendRepresentativeMemoryCacheSlotItem.cpp Source/Reasoner/Kernel/Cache/COccurrenceStatisticsCacheWriter.h Source/Reasoner/Kernel/Process/Dependency/DependencySettings.h Source/Reasoner/Kernel/Process/Marker/MarkerSettings.h Source/Reasoner/Preprocess/CTriggeredImplicationGCIAbsorberPreProcess.cpp Source/Reasoner/Preprocess/CTriggeredImplicationGCIAbsorberPreProcess.h Source/Reasoner/Taxonomy/CPCPrSuIpIsDiHierarchyNode.cpp Source/Reasoner/Taxonomy/CPCPrSuIpIsDiHierarchyNode.h