nemo-ufes ufo-protege-plugin issues - Githubissues

nemo-ufes / ufo-protege-plugin

A plugin for Protégé that checks gUFO-based ontologies for adherence to UFO rules

GNU General Public License v3.0

7 stars 0 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Better documentation of the implemented rules

#12 pedropaulofb opened 1 year ago
0
Implement rules for checking the use of punning

#11 lcbarcellos opened 3 years ago
0
Clear validation report on each validation and change report formatting

#10 lcbarcellos closed 4 years ago
1
Implement rule: an instance of NonSortal must be specialized by an instance of Sortal or specialize an instance of NonSortal which is specialized by an instance of Sortal

#9 lcbarcellos closed 4 years ago
1
Implement rule: an instance of NonSortal cannot specialize an instance of Sortal

#8 lcbarcellos closed 4 years ago
2
Implement rule: an instance of SemiRigidType cannot specialize an instance of AntiRigidType

#7 lcbarcellos closed 4 years ago
1
Implement rule: an instance of RigidType cannot specialize an instance of AntiRigidType

#6 lcbarcellos closed 4 years ago
2
Implement rule: a class cannot specialize more than one instance of Kind

#5 lcbarcellos closed 4 years ago
2
Implement rule: an instance of Kind cannot specialize another instance of Kind

#4 lcbarcellos closed 4 years ago
2
Implement rule: every instance of Sortal which is not instance of Kind must specialize an instance of Kind

#3 lcbarcellos closed 4 years ago
2
Implement rule: every subclass of Endurant must instantiate exactly one public subclass of EndurantType

#2 lcbarcellos closed 4 years ago
0
Migrate to gUFO

#1 lcbarcellos closed 4 years ago
0