Partially solve 1494 parse dol standard examples#1540

Closed

gnn wants to merge 22 commits intospechub:masterfrom gnn:1494-parse-DOL-standard-examples

+112-59

Commits on Sep 20, 2017

Remove keyword 'distributed-ontology'

Stephan Günther
authored and
gnn
committed
Remove 'CommonLogic' parts from DOL test

Stephan Günther
authored and
gnn
committed
Remove 'mapsto' alignment relation from DOL test

Stephan Günther
authored and
gnn
committed
Fix LaTex'isms in DOL test

Stephan Günther
authored and
gnn
committed
Fix confidence declarations in DOL test

Stephan Günther
authored and
gnn
committed
Add "AlignmentSemantics" test case

Stephan Günther
authored and
gnn
committed
Add oms keyword
gnn
committed
Make = OMSOrNetwork optional in equivalence
gnn
committed
Make "extract" and "remove" proper keywords
gnn
committed
Add extractS/removeS to terminatingKeywords
gnn
committed
Change casing of DOL in known prefixes
gnn
committed
Strip '<' and '>' from IRI before logic lookup
gnn
committed
Use explicit import list for Logic.KnownIris
gnn
committed
Allow comment lines in prefix annotations
gnn
committed
Shim for parsing SROIQ when prefixed
gnn
committed
Filter angular brackets in lookupSerialization
gnn
committed
Move the '<>' fix into lookupLogicName
gnn
committed
Expand comment
gnn
committed
Add languageS as a proper keyword
gnn
committed
Add hacky standalone language declaration support
gnn
committed
Expand language declaration hack
gnn
committed
Use spaces instead of endOfLine
gnn
committed