1470 search results - page 28 / 294 » An Introduction to Description Logics |
CADE
1999
Springer
14 years 2 months ago
1999
Springer
Abstract. Twelf is a meta-logical framework for the specification, implementation, and meta-theory of deductive systems from the theory of programming languages and logics. It rel...
LICS
2005
IEEE
14 years 3 months ago
2005
IEEE
In recent work Baader has shown that a certain description logic with conjunction, existential quantification and with circular definitions has a polynomial time subsumption pro...
IDEAS
2007
IEEE
14 years 4 months ago
2007
IEEE
We present an extensible and customizable framework for the autonomous discovery of Semantic Web services based on their QoS properties. Using semantic technologies, users can spe...
BIRTHDAY
2003
Springer
14 years 3 months ago
2003
Springer
In this paper it is explained what Knowledge Management (KM) is and why it will play an important role in the future. This implies that KM is indeed more than just the sophisticate...
CAISE
2008
Springer
13 years 11 months ago
2008
Springer
Model-driven engineering is at the forefront among recent attempts to information systems development. Models are gradually refined from domain specific descriptions to more concre...