Sciweavers

144 search results - page 19 / 29
» The FMA in OWL 2
Sort
View
126
Voted
EON
2003
15 years 1 months ago
Racer: A Core Inference Engine for the Semantic Web
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...
Volker Haarslev, Ralf Möller
105
Voted
DLOG
2010
14 years 10 months ago
TBox Classification in Parallel: Design and First Evaluation
Abstract. One of the most frequently used inference services of description logic reasoners classifies all named classes of OWL ontologies into a subsumption hierarchy. Due to emer...
Mina Aslani, Volker Haarslev
72
Voted
SEMWEB
2009
Springer
15 years 7 months ago
Mechanisms for Importing Modules
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...
Bijan Parsia, Ulrike Sattler, Thomas Schneider
SYNASC
2005
IEEE
119views Algorithms» more  SYNASC 2005»
15 years 6 months ago
A Reference Implementation of ADF (Agent Developing Framework): Semantic Web-Based Agent Communication
The purpose of this paper is to present the main characteristics of ADF, an open source agent developing platform with a focus on agent collaboration. The basic architecture of th...
Catalin Hritcu, Sabin C. Buraga
RWEB
2010
Springer
14 years 11 months ago
Reasoning and Explanation in EL and in Expressive Description Logics
Description Logics (DLs) are the formalism underlying the standard web ontology language OWL 2. DLs have formal semantics which are the basis for powerful reasoning services. In th...
Anni-Yasmin Turhan