2414 search results - page 147 / 483 » Reasoning Support for OWL-E |
170
click to vote
COMMA
2008
15 years 7 months ago
2008
Abstract. In previous work, we presented an RDFS ontology, based on the Argument Interchange Format (AIF), for describing arguments and argument schemes. We also implemented a pilo...
169
click to vote
MIE
2008
15 years 7 months ago
2008
In this work we present the usage of semantic web knowledge representation formalism (OWL) in combination with general purpose reasoning for building a medical expert system. The a...
105
click to vote
IADIS
2004
15 years 7 months ago
2004
The usability of software in rural environment is difficult for various reasons. Hence, the digital-divide remains between rural and urban population. The local language support, ...
128
click to vote
DLOG
2001
15 years 7 months ago
2001
For Description Logics with existential restrictions, the size of the least common subsumer (lcs) of concept descriptions may grow exponentially in the size of the input descripti...
138
click to vote
IJCAI
2003
15 years 7 months ago
2003
Formalisms and axiomatic theories are designed to support reasoning, they are often intended with a preferred interpretation and a targeted ontology. Questions of proper interpret...