1435 search results - page 176 / 287 » Description Logics |
112
click to vote
SEMWEB
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. After becoming a W3C Recommendation, OWL is becoming increasingly widely accepted and used. However most people still find it difficult to create and use OWL ontologies...
132
click to vote
DLOG
2004
15 years 5 months ago
2004
Medical Terminological Knowledge Bases contain a large number of primitive concept definitions. This is due to the large number of natural kinds that are represented, and due to t...
137
click to vote
FOIS
2006
15 years 5 months ago
2006
In this paper we present methods to generate a Description Logic (DL) theory from a given First Order Logic (FOL) theory, such that each DL axiom is entailed by the given FOL theor...
152
click to vote
DLOG
2011
14 years 7 months ago
2011
The canonical standard description logic reasoning service is classification, that is, the generation of the set of atomic subsumptions which are entailed by some ontology. While ...
129
click to vote
DIAGRAMS
2008
Springer
15 years 5 months ago
2008
Springer
Euler diagrams are a natural method of representing set-theoretic data and have been employed in diverse areas such as visualizing statistical data, as a basis for diagrammatic log...