Putting Perspective into OWL [Sic]: Complexity-Neutral Standpoint Reasoning for Ontology Languages via Monodic S5 over Counting Two-Variable First-Order Logic.

Luca Gmez lvarez, Sebastian Rudolph

Browse the full KR paper archive.