Has author Ulrike Sattler
From Tetherless World Wiki
A list of all pages that have property "Has author" with value "Ulrike Sattler"Previous Results 1– 20 Next (20 | 50 | 100 | 250 | 500)
- Description Logics as Ontology Languages for the Semantic Web +
- Reasoning with Individuals for the Description Logic SHIQ +
- A Description Logic with Transitive and Inverse Roles and Role Hierarchies +
- Will my Ontologies Fit Together? +
- Conjunctive Query Answering for Description Logics with Transitive Roles +
- Optimised Reasoning for SHIQ +
- Ontology Reasoning in the SHOQ(D) Description Logic +
- Decidability of SHIQ with Complex Role Inclusion Axioms +
- A Tableaux Decision Procedure for SHOIQ +
- Keys, Nominals, and Concrete Domains +
- A Logical Framework for Modularity of Ontologies +
- Conjunctive Query Answering for the Description Logic SHIQ +
- The Even More Irresistible SROIQ +
- How to decide Query Containment under Constraints using a Description Logic +
- Practical Reasoning for Expressive Description Logics +
- How to Decide Query Containment Under Constraints Using a Description Logic +
- Can OWL and Logic Programming Live Together Happily Ever After? +
- A Little Semantic Web Goes a Long Way in Biology +
- Just the right amount: extracting modules from ontologies +
- Bridging the gap between OWL and relational databases +
- Decidability of SHIQ with complex role inclusion axioms +
