421 search results - page 13 / 85 » Extension of Ontologies Assisted by Automated Reasoning Syst... |
GIS
1999
ACM
15 years 3 months ago
1999
ACM
The GeoWorlds system integrates geographic information systems, spatial digital libraries and other information analysis, retrieval and collaboration tools. It supports multiple a...
DLOG
2009
14 years 8 months ago
2009
The CEL system is known for its scalability of reasoning in the lightweight DL EL++ which has been proved suitable for several ontology applications, most notably from the life sci...
154
click to vote
FASE
2011
Springer
14 years 2 months ago
2011
Springer
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...
124
click to vote
RWEB
2010
Springer
14 years 9 months ago
2010
Springer
Description Logics (DLs) are the formalism underlying the standard web ontology language OWL 2. DLs have formal semantics which are the basis for powerful reasoning services. In th...
110
click to vote
AGENTS
2001
Springer
15 years 3 months ago
2001
Springer
The development of the semantic Web will require agents to use common domain ontologies to facilitate communication of conceptual knowledge. However, the proliferation of domain on...