Sciweavers

706 search results - page 15 / 142
» Conceptual Modeling with Description Logics
Sort
View
RR
2009
Springer
15 years 4 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
94
Voted
JACM
2010
137views more  JACM 2010»
14 years 8 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
14 years 11 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
88
Voted
ICDIM
2007
IEEE
14 years 11 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
14 years 11 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