Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Kazakov, Yevgeny - School of Computer Science, University of Manchester
A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards
I N F O R M A T I K Resolution Decision Procedures
A Resolution-Based Decision Procedure for Yevgeny Kazakov and Boris Motik
Subsumption of concepts in FL 0 for (cyclic) terminologies with respect to descriptive semantics is PSPACE-complete.
Extracting Modules from Ontologies: A Logic-based Approach
Combining Resolution Decision Procedures Yevgeny Kazakov
Combining Resolution Decision Procedures Yevgeny Kazakov
I N F O R M A T I K Resolution Decision Procedures
Recursive resolution for modal logic Yevgeny Kazakov
I N F O R M A T I K Subsumption of concepts in DL
Ontology Reuse: Better Safe than Sorry Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov and Ulrike Sattler
A Polynomial Translation from the Two-Variable Guarded Fragment with Number
Subsumption of concepts in FL0 for (cyclic) terminologies with respect to descriptive semantics is PSPACE-complete.
Extracting Modules from Ontologies: Theory and Practice
I N F O R M A T I K Subsumption of concepts in DL
SATURATION-BASED DECISION PROCEDURES EXTENSIONS OF THE GUARDED FRAGMENT
A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards
Just the Right Amount: Extracting Modules from Ontologies
A Polynomial Translation from the Two-Variable Guarded Fragment with Number
A Logical Framework for Modularity of Ontologies Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov and Ulrike Sattler
I N F O R M A T I K A Framework of
