Logic and Philosophy of Science in Uppsala: Papers from the 9th International Congress of Logic, Methodology and Philosophy of Science (Synthese Library)
The Description Logic Handbook: Theory, Implementation and Applications
