1852 search results - page 59 / 371 » Structured Ontology Format |
JUCS
2007
13 years 7 months ago
2007
: Collecting, distributing and sharing knowledge in a knowledge-explicit way is a significant task for any company. However, collecting decisional knowledge in the form of formal d...
FCT
2003
Springer
14 years 29 days ago
2003
Springer
This paper presents a method for the decomposition of HML formulae. It can be used to decide whether a process algebra term satisfies a HML formula, by checking whether subterms s...
FORMATS
2008
Springer
13 years 9 months ago
2008
Springer
We study a class of scheduling problems which combines the structural aspects associated with task dependencies, with the dynamic aspects associated with ongoing streams of request...
SEMWEB
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. This paper describes the design and implementation of Bibster, a Peer-to-Peer system for exchanging bibliographic data among researchers. Bibster exploits ontologies in d...
OWLED
2007
13 years 9 months ago
2007
: The mathematical nature of description logics has meant that domain experts find it hard to understand. This forms a significant impediment to the creation and adoption of ontolo...