Sciweavers

1545 search results - page 213 / 309
» Defeasible Description Logics
Sort
View
ECOOPW
2000
Springer
13 years 11 months ago
Objects and Classification
Abstract. Classification is a central concept in object-oriented approaches such as object-oriented programming, object-oriented knowledge representation systems (including descrip...
Marianne Huchard, Robert Godin, Amedeo Napoli
ECOOP
1995
Springer
13 years 11 months ago
Interface-Based Protocol Specification of Open Systems using PSL
PSL is a framework for describing dynamic and architectural properties of open systems. PSL extends established interface-based tactics for describing the functional properties of...
Doug Lea, Jos Marlowe
DEEC
2006
IEEE
13 years 10 months ago
Explanation Services and Request Refinement in User Friendly Semantic-Enabled B2C E-Marketplaces
Abstract. This paper presents an approach aimed at fully exploiting semantics of supply/demand descriptions in B2C and C2C e-marketplaces. Distinguishing aspects include logic-base...
Simona Colucci, Tommaso Di Noia, Eugenio Di Sciasc...
ER
2008
Springer
91views Database» more  ER 2008»
13 years 9 months ago
Model Driven Specification of Ontology Translations
Abstract. The alignment of different ontologies requires the specification, representation and execution of translation rules. The rules need to integrate translations at the lexic...
Fernando Silva Parreiras, Steffen Staab, Simon Sch...
OWLED
2008
13 years 9 months ago
Characterizing and Detecting Integrity Issues in OWL Instance Data
We view OWL instance data evaluation as a process in which instance data is checked for conformance with application requirements. We previously identified some integrity issues ra...
Jiao Tao, Li Ding, Jie Bao, Deborah L. McGuinness