451 search results - page 15 / 91 » Temporal Classes and OWL |
SEMWEB
2009
Springer
15 years 7 months ago
2009
Springer
One of the core services provided by OWL reasoners is classification: the discovery of all subclass relationships between class names occurring in an ontology. Discovering these r...
125
click to vote
EON
2003
15 years 1 months ago
2003
In this paper we describe Racer, which can be considered as a core inference engine for the semantic web. The Racer inference server offers two APIs that are already used by at le...
115
Voted
LPAR
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We consider the temporal logic with since and until modalities. This temporal logic is expressively equivalent over the class of ordinals to first-order logic thanks to ...
72
Voted
SEMWEB
2009
Springer
15 years 7 months ago
2009
Springer
Abstract The current OWL 2 specification provides mechanisms for importing whole ontologies. This paper discusses the import of only a module of an external ontology, which is spe...
110
click to vote
DLOG
2008
15 years 2 months ago
2008
Many visualization frameworks for ontologies in general and for concept expressions in particular are too faithful to the syntax of the languages in which those objects are represe...