89 search results - page 2 / 18 » An Ontology for Software Models and Its Practical Implicatio... |
IJCAI
2007
13 years 6 months ago
2007
Modularity is a key requirement for collaborative ontology engineering and for distributed ontology reuse on the Web. Modern ontology languages, such as OWL, are logic-based, and ...
KBS
2008
13 years 4 months ago
2008
As the number of available Web services increases there is a growing demand to realise complex business processes by combining and reusing available Web services. In this context,...
SEKE
2005
Springer
13 years 10 months ago
2005
Springer
Checking for properties of Web ontologies is important for the development of reliable Semantic Web systems. Software specification and verification tools can be used to complem...
OTM
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. Web services have become the predominant paradigm for the development of distributed software systems. Web services provide the means to modularize software in a way that...
SEMWEB
2007
Springer
13 years 11 months ago
2007
Springer
OBO is an ontology language that has often been used for modeling ontologies in the life sciences. Its definition is relatively informal, so, in this paper, we provide a clear spe...