2181 search results - page 104 / 437 » Ontologies and Description Logics |
171
click to vote
DLOG
2003
15 years 7 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...
190
click to vote
FUIN
2010
15 years 3 months ago
2010
Abstract. Developing a good formalism and an efficient decision procedure for the instance checking problem is desirable for practical application of description logics. The data c...
162
click to vote
KI
2007
Springer
16 years 13 days 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...
175
click to vote
WECWIS
2008
IEEE
16 years 20 days ago
2008
IEEE
Integrating service description, discovery, and invocation functionalities presents several fundamental problems in the management of web services and is a basic problem for compo...
186
click to vote
DLOG
2001
15 years 7 months ago
2001
We consider expressive Description Logics (ALCN) allowing for number restrictions on complex roles built with combinations of role constructors. In particular, we are mainly inter...