Partially solve 1494 parse dol standard examples#1540

Closed

gnn wants to merge 22 commits into

spechub:masterfrom

gnn:1494-parse-DOL-standard-examples

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