enso with consequence of symbol

Semantic Technologies Laboratory

The mission of the Lab is empirical research in the application of automated reasoning techniques to computationally challenging problems that arise from semantic interoperability, including ontologies, automated reasoning, and semantic web services.

The research supported by the Lab will develop techniques to support automated reasoning with ontologies written in first-order logic, particularly for applications in industrial domains.

Long-term research projects will develop:

  • a fundamental understanding of the complexity of reasoning with first-order ontologies, including heuristics and tractable subclasses of reasoning problems;

  • techniques for automated semantic web service discovery, verification, and composition;

  • algorithms for the generation and testing of semantic mappings for ontologies and software applications;

  • algorithms for reasoning with process ontologies that generalize work on planning and plan recognition.