365 search results - page 48 / 73 » Decomposing Description Logic Ontologies |
WWW
2005
ACM
14 years 9 months ago
2005
ACM
The Semantic Web languages RDFS and OWL have been around for some time now. However, the presence of these languages has not brought the breakthrough of the Semantic Web the creat...
EKAW
2006
Springer
14 years 10 days ago
2006
Springer
In the context of the Semantic Web, many ontology-related operations, e.g. ontology ranking, segmentation, alignment, articulation, reuse, evaluation, can reduced to one fundamenta...
ENTCS
2006
13 years 8 months ago
2006
This paper presents a three-step approach for interoperabilising heterogeneous semantic resources. Firstly, we construct homogeneous representations of these resources in a pivot ...
MIDDLEWARE
2007
Springer
14 years 2 months ago
2007
Springer
GloServ is a global service discovery system which aggregates different types of services in a globally distributed network. It improves on current service discovery systems by sc...
TPHOL
1999
IEEE
14 years 28 days ago
1999
IEEE
Abstract. We describe the key features of the proof description language of Declare, an experimental theorem prover for higher order logic. We take a somewhat radical approach to p...