Sciweavers

972 search results - page 92 / 195
» Using Preference Order in Ontologies
Sort
View
CADE
2007
Springer
14 years 10 months ago
Optimized Reasoning in Description Logics Using Hypertableaux
We present a novel reasoning calculus for Description Logics (DLs)--knowledge representation formalisms with applications in areas such as the Semantic Web. In order to reduce the ...
Boris Motik, Rob Shearer, Ian Horrocks
ECAI
2010
Springer
13 years 11 months ago
Parallel TBox Classification in Description Logics - First Experimental Results
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
COSIT
2007
Springer
136views GIS» more  COSIT 2007»
14 years 4 months ago
Spatial Semantics in Difference Spaces
Higher level semantics are considered useful in the geospatial domain, yet there is no general consensus on the form these semantics should take. Indeed, knowledge representation p...
Vlad Tanasescu
MODELS
2007
Springer
14 years 4 months ago
On Metamodeling in Megamodels
Model-Driven Engineering (MDE) introduced the notion of metamodeling as the main means for defining modeling languages. As a well organized engineering discipline, MDE should also ...
Dragan Gasevic, Nima Kaviani, Marek Hatala
CCGRID
2005
IEEE
14 years 4 months ago
Semantic search of learning services in a grid-based collaborative system
CSCL systems can benefit from using a grid, since it offers a common infrastructure allowing an extended pool of resources that can provide supercomputing capabilities as well as...
Guillermo Vega-Gorgojo, Miguel L. Bote-Lorenzo, Ed...