search

spechub / Hets

The Heterogeneous Tool Set
http://hets.eu
GNU General Public License v2.0
57 stars 19 forks source link

Different names for logic OWL2 #1225

Closed sternk closed 10 years ago

sternk commented 10 years ago

Reported by till and assigned to maeder Migrated from http://trac.informatik.uni-bremen.de:8080/hets/ticket/1225

In the logic graph written by Hets, logic "OWL" is used. In the DGXML for OWL files, logic "OWL2" is used. This should be unified into "OWL2".

sternk commented 10 years ago

Comment by maeder Migrated from http://trac.informatik.uni-bremen.de:8080/hets/ticket/1225#comment:1

I have no problem to change the language_name to OWL2, but then all the files in Hets-lib have to be adjusted. OWL2 is only displayed by using show instead of language_name.

maeder@turing:~/Hets-lib> grep -r "logic OWL" * 
DOL/Alignment.dol:logic OWL
DOL/test.dol:logic OWL
DOL/align.pp.het:logic OWL
DOL/align.het:logic OWL
DOL/mereology.dol:logic OWL
DOL/minimize.dol:logic OWL
DOL/align2.het:logic OWL
Examples/CrashCourse/FamilyBaseOWL.het:logic OWL
HelloWorldExamples/Het-OWL.het:logic OWL
HidingOWL.het:logic OWL
Ontology/Alignment/W_Alignment_owl.het:logic OWL
Ontology/Alignment/V_Alignment_owl-incons.het:logic OWL
Ontology/Alignment/V_Alignment_owl.het:logic OWL
Ontology/Alignment/minimal_inconsistent_colimit.het:logic OWL
Ontology/Alignment/V_Alignment_owl_multi.het:logic OWL
Ontology/Alignment/V_Alignment_owl_multi_compo.het:logic OWL
Ontology/Alignment/Simple_V_Alignment_Test.het:logic OWL
Ontology/Examples/Cats.het:logic OWL
Ontology/Examples/FamilyOWLCL.het:logic OWL
Ontology/Examples/FamilyOWLCL.het:view v1: {FamilySkel with logic OWL22CommonLogic} to {FamilyBase with logic OWL22CommonLogic}
Ontology/Examples/Biblio2.het:logic OWL
Ontology/Examples/Hiding.het:logic OWL
Ontology/Examples/Parameterisation.het:logic OWL
Ontology/Examples/OWLTBoxRDFABox.het:  logic OWL : {
Ontology/Examples/Biblio_Naked.het:logic OWL
Ontology/Examples/Family.het:logic OWL
Ontology/Examples/BiblioV.het:logic OWL
Ontology/Examples/BiblioV.het:     {Biblio_OWL with logic OWL -> CASL}
Ontology/Examples/MoreCats.het:logic OWL
Ontology/Examples/MoreCats.het:view cview : Cats to {MoreCats and logic OWL: {}}
Ontology/Examples/PizzaSmall.het:logic OWL
Ontology/Examples/OWL_CL2.het:logic OWL
Ontology/Examples/FreeCofree.het:logic OWL
Ontology/Examples/AAL.het:logic OWL
Ontology/Examples/AAL.het:  then logic OWL : {
Ontology/Examples/AAL.het:  then logic OWL : {
Ontology/Examples/AAL.het:  then logic OWL : {
Ontology/Examples/TimeInOWLandCL.het:logic OWL
Ontology/Examples/TimeInOWLandCL.het:view TimeOWLtoCL : { TimeOWL with logic OWL22CommonLogic } to TimeCL
Ontology/Examples/SymbolTermMapping.het:logic OWL
Ontology/Examples/OpenAALOntologyManchesterFromHets.het:%%logic OWL.RL-ALCH-D|boolean|
Ontology/Examples/OpenAALOntologyManchesterFromHets.het:logic OWL
Ontology/Examples/Biblio.het:logic OWL
Ontology/Examples/Biblio.het:     and logic OWL: {}
Ontology/Examples/BiblioR.het:logic OWL
Ontology/Examples/BiblioR.het:     {BiblioR and logic OWL: {} %% insert OWL's builtin stuff
Ontology/Examples/OWL_CL.het:logic OWL
Ontology/Examples/Biblio_Colim.het:logic OWL
Ontology/Examples/OpenAALOntologyManchesterFromProtege.het:logic OWL
Ontology/Blending/HouseBoatClasses.het:logic OWL
sternk commented 10 years ago

Comment by till Migrated from http://trac.informatik.uni-bremen.de:8080/hets/ticket/1225#comment:2

OK, then maybe it is easier to stick with OWL (but then use OWL everywhere). Christoph, Oliver, what do you think?

sternk commented 10 years ago

Comment by clange Migrated from http://trac.informatik.uni-bremen.de:8080/hets/ticket/1225#comment:3

Replying to till:

OK, then maybe it is easier to stick with OWL (but then use OWL everywhere). Christoph, Oliver, what do you think?

Fine with me. Just keep in mind that there is (or rather: was) also OWL 1, with "profiles" (not yet called like this) OWL DL (logic SHOIN(D)), OWL Full and OWL Lite.

sternk commented 10 years ago

Comment by maeder Migrated from http://trac.informatik.uni-bremen.de:8080/hets/ticket/1225#comment:4

done in spechub/Hets@b4e9f33332d6c829b08fda7f1e2317678df1c84e. OWL 1 is gone in hets. Our "profiles" (EL, QL, and RL) are combined with sublogic features.