Sciweavers

1401 search results - page 3 / 281
» Literate Ontology Development
Sort
View
FOIKS
2006
Springer
13 years 9 months ago
Reasoning Support for Expressive Ontology Languages Using a Theorem Prover
It is claimed in [45] that first-order theorem provers are not efficient for reasoning with ontologies based on description logics compared to specialised description logic reasone...
Ian Horrocks, Andrei Voronkov
ELPUB
2006
ACM
13 years 11 months ago
Using a Walk Ontology for Capturing Language Independent Navigation Instructions
Walking is becoming increasingly popular as a leisure activity across Europe. Outdoor equipment has modernized, gained flexibility and lost weight. GPS devices are gaining popular...
Bert Paepen, Jan Engelen
SEKE
2007
Springer
13 years 11 months ago
Towards Domain-Centric Ontology Development and Maintenance Frameworks
In this paper, we attempt to study and investigate ontology development and maintenance frameworks from a domain-centric point of view. By frameworks we mean the structures which ...
Faezeh Ensan, Weichang Du
CAISE
2005
Springer
13 years 11 months ago
System Ontology and its role in Software Development
The research reported upon in this paper aims at reducing errors in both the requirements engineering and the system specification phase of software development, by means of system...
Jan L. G. Dietz
ERSHOV
2003
Springer
13 years 11 months ago
ProgDOC - A New Program Documentation System
Though programming languages and programming styles evolve with remarkable speed today, there is no such evolution in the field of program documentation. And although there exist ...
Volker Simonis, Roland Weiss