|
Automatic partitioning of owl ontologies using \it -connections +,
Automatic web services composition using shop2 +,
Automating daml-s web services composition using shop2 +,
Black box techniques for debugging unsatisfiable concepts +,
Bringing semantics to web services with owl-s +,
Combining owl ontologies using epsilon-connections +,
Debugging owl ontologies +,
Debugging unsatisfiable classes in owl ontologies +,
Description logic reasoning for dynamic aboxes +,
Description logic reasoning with syntactic updates +,
Extending the \it hoiq(d) tableaux with dl-safe rules: first results +,
Filtering and selecting semantic web services with interactive composition techniques +,
Finding all justifications of owl dl entailments +,
From wine to water: optimizing description logic reasoning for nominals +,
Htn planning for web service composition using shop2 +,
Ichigen-san: an ontology-based information retrieval system +,
Information gathering during planning for web service composition +,
Interactive composition of semantic web services +,
Modularity and web ontologies +,
Ontology-enabled pervasive computing applications +,
…
|
Author
|
