Reasoning with embedded formulas and modalities in SUMO (0)

by Christoph Benzmüller, Adam Pease
Venue:Proceedings of the ECAI-10 Workshop on Automated Reasoning about Context and Ontology Evolution (ARCOE-10