450 search results - page 23 / 90 » An enriched knowledge model for formal ontological analysis |
89
Voted
CMMR
2005
Springer
14 years 11 months ago
2005
Springer
Petri Nets are a formal tool for studying systems that are concurrent, asynchronous, distributed, parallel, nondeterministic, and/or stochastic. They were used in a number of real-...
AIED
2005
Springer
15 years 3 months ago
2005
Springer
Qualitative Reasoning (QR) formalisms provide ontological primitives for capturing conceptual knowledge. Recently QR-based diagrammatic tools are being developed to support learne...
102
click to vote
ISEMANTICS
2010
14 years 8 months ago
2010
Reference models play an important role in the knowledge management of the various complex collaboration domains (such as Supply Chain Networks). However, they often show a lack o...
OWLED
2008
14 years 11 months ago
2008
We present the latest release of the Ontology Pre-Processor Language, a language for querying and modifying Description Logic knowledge bases expressed in OWL. We briefly describe ...
ISEMANTICS
2010
14 years 11 months ago
2010
In this paper, when we use the term ontology, we are primarily referring to linked data in the form of RDF(S). The problem of ontology mapping has attracted considerable attention...