1436 search results - page 44 / 288 » Description Logic Unplugged |
KRMED
2008
14 years 11 months ago
2008
Snomed ct is a large-scale medical ontology, which is developed using a variant of the inexpressive Description Logic EL. Description Logic reasoning can not only be used to compu...
DLOG
2003
14 years 11 months ago
2003
An object-oriented software design is often modelled as a collection of UML diagrams. There is an inherent need to preserve the consistency between these diagrams. Moreover, throu...
WS
2008
ACM
14 years 9 months ago
2008
ACM
Ontologies play a crucial role in the development of the Semantic Web as a means for defining shared terms in web resources. They are formulated in web ontology languages, which a...
KI
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Knowledge compilation is a common technique for propositional logic knowledge bases. The idea is to transform a given knowledge base into a special normal form ([MR03],[D...
DLOG
2003
14 years 11 months ago
2003
In this short position paper, the project of building intelligent business information infrastructure using semantic web, ontology, description logics, and other related knowledge...