1176 search results - page 166 / 236 » Description Logics as Ontology Languages for the Semantic We... |
CORR
2007
Springer
13 years 8 months ago
2007
Springer
Diagrammatic logics were introduced in 2002, with emphasis on the notions of specifications and models. In this paper we improve the description of the inference process, which i...
DLOG
2000
13 years 9 months ago
2000
Recently, there has been a wide interest in using ontologies on the Web. As a basis for this, RDF Schema (RDFS) provides means to define vocabulary, structure and constraints for ...
SEMWEB
2007
Springer
14 years 2 months ago
2007
Springer
Abstract The most common matching applications, e.g., ontology matching, focus on the computation of the correspondences holding between the nodes of graph structures (e.g., concep...
IWANN
2009
Springer
14 years 2 months ago
2009
Springer
Biomedical ontologies provide a commonly accepted scheme for the characterization of biological concepts that enable knowledge sharing and integration. Updating and maintaining an ...
ICTAI
2008
IEEE
14 years 2 months ago
2008
IEEE
We elaborate upon the usage of action language C for representing and reasoning about biological models. First, we provide a simple extension of C allowing for variables and show ...