CEX and MEX: Logical Diff and Logic-based Module Extraction in a Fragment of OWL +,
Integrating Description Logics and Action Formalisms: First Results +,
Reasoning about distances +,
…
Has author
Frank Wolter + Has identifier
| Frank Wolter |
Foaf:firstName
Frank
Foaf:name
Frank Wolter
Foaf:surname
Wolter
Foaf:depiction
Anonymous.png +
Has identifier
Frank Wolter +
Categories Person +
|