RWEB
2010
Springer
13 years 9 months ago
2010
Springer
Ontologies constitute formal models of some aspect of the world that may be used for drawing interesting logical conclusions even for large models. Software models capture relevant...
RWEB
2010
Springer
13 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...
RWEB
2010
Springer
13 years 9 months ago
2010
Springer
