54 search results - page 10 / 11 » Reasoning with Individuals for the Description Logic SHIQ |
86
Voted
SIGSOFT
2003
ACM
16 years 11 days ago
2003
ACM
Web Services are software services that can be advertised by providers and deployed by customers using Web technologies. This concept is currently carried further to address Web s...
118
Voted
DLOG
2003
15 years 1 months ago
2003
Agent systems that search the Semantic Web are seen as killer applications for description logic (DL) inference engines. The guiding examples for the Semantic Web involve informat...
98
Voted
KES
2008
Springer
14 years 11 months ago
2008
Springer
This paper presents ontology-based architecture for pattern recognition in the context of static source code analysis. The proposed system has three subsystems: parser, OWL ontolog...
107
Voted
DLOG
2004
15 years 1 months ago
2004
er reports on a pragmatic query language for Racer. The abstract syntax and semantics of this query language is defined. Next, the practical relevance of this query language is sh...
103
Voted
LACL
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. Two kinds of framework for stating grammars of natural languages emerged during the 20th century. Here we call them generativeenumerative syntax (GES) and model-theoretic...