Sciweavers

1568 search results - page 143 / 314
» Fusions of Description Logics
Sort
View
65
Voted
CPHYSICS
2004
89views more  CPHYSICS 2004»
14 years 10 months ago
Comprehensive suite of codes for plasma-edge modelling
The various aspects of plasma-edge physics are included in a comprehensive suite of codes having applications from industrial plasmas to fusion devices. Here the basic ideas, stat...
Ralf Schneider, Xavier Bonnin, Neil McTaggart, Ale...
WWW
2007
ACM
15 years 11 months ago
Improving Ontology Recommendation and Reuse in WebCORE by Collaborative Assessments
In this work, we present an extension of CORE [2], a tool for Collaborative Ontology Reuse and Evaluation. The system receives an informal description of a specific semantic domai...
Iván Cantador, Miriam Fernández, Pab...
IJCINI
2007
66views more  IJCINI 2007»
14 years 10 months ago
Language, Logic, and the Brain
Language is primarily a physical, and more particularly a biological phenomenon. To say that it is primarily so is to say that that is how, in the first instance, it presents itse...
Ray E. Jennings
118
Voted
JELIA
2004
Springer
15 years 3 months ago
Computing the Least Common Subsumer w.r.t. a Background Terminology
Methods for computing the least common subsumer (lcs) are usually restricted to rather inexpressive Description Logics (DLs) whereas existing knowledge bases are written in very e...
Franz Baader, Baris Sertkaya, Anni-Yasmin Turhan
73
Voted
CADE
2004
Springer
15 years 10 months ago
Sonic - Non-standard Inferences Go OilEd
Sonic1 is the first prototype implementation of non-standard inferences for Description Logics usable via a graphical user interface. The contribution of our implementation is twof...
Anni-Yasmin Turhan, Christian Kissig