Sciweavers

706 search results - page 15 / 142
» Conceptual Modeling with Description Logics
Sort
View
RR
2009
Springer
14 years 2 months ago
A Reasoner for Simple Conceptual Logic Programs
Open Answer Set Programming (OASP) can be seen as a framework to represent tightly integrated combined knowledge bases of ontologies and rules that are not necessarily DL-safe. The...
Stijn Heymans, Cristina Feier, Thomas Eiter
JACM
2010
137views more  JACM 2010»
13 years 6 months ago
Reconciling description logics and rules
Description logics (DLs) and rules are formalisms that emphasize different aspects of knowledge representation: whereas DLs are focused on specifying and reasoning about conceptual...
Boris Motik, Riccardo Rosati
DLOG
2003
13 years 9 months ago
Expressive Description Logics
This chapter covers extensions of the basic description logics introduced in Chapter 2 by very expressive constructs that require advanced reasoning techniques. In particular, we ...
Diego Calvanese, Giuseppe De Giacomo
ICDIM
2007
IEEE
13 years 9 months ago
Extending E-R for modelling XML keys
With the growing popularity of XML there is a need not only to describe the structure of XML data but also its semantics. For the conceptual modelling of XML we can use existing c...
Martin Necasky, Jaroslav Pokorný
APCCM
2010
13 years 9 months ago
Business modeling for service descriptions: a meta model and a UML profile
The evolution of service-oriented architectures toward market places for business services in the Internet, raises the need for rich service descriptions with respect to service p...
Gregor Scheithauer, Guido Wirtz