9145 search results - page 130 / 1829 » Description Logic Systems |
98
Voted
CORR
2008
Springer
15 years 25 days ago
2008
Springer
Many semantical aspects of programming languages are specified through calculi for constructing proofs: consider, for example, the specification of structured operational semantic...
145
Voted
EDBT
2002
ACM
16 years 26 days ago
2002
ACM
Ontologies are set to play a key role in the "Semantic Web", extending syntactic interoperability to semantic interoperability by providing a source of shared and precise...
155
Voted
DLOG
2011
14 years 4 months ago
2011
Abstract. For a number of problems, such as ontology learning or image labeling, we need to handle uncertainty and inconsistencies in an appropriate way. Fuzzy and Probabilistic De...
114
Voted
FSTTCS
2005
Springer
15 years 6 months ago
2005
Springer
Hierarchical graph definitions allow a modular description of graphs using modules for the specification of repeated substructures. Beside this modularity, hierarchical graph de...
113
Voted
SAC
2009
ACM
15 years 5 months ago
2009
ACM
Information systems often require combining datasets available in different formats, and geographical information systems are no exception. While semantic technologies have been u...