1331 search results - page 162 / 267 » Description logic reasoning using the PTTP approach |
161
click to vote
ICCBR
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. This paper presents an approach of case mining to automatically discover case bases from large datasets in order to improve both the speed and the quality of case based r...
172
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: An adequate and expressive ontological representation of biological organisms and their parts requires formal reasoning mechanisms for their relations of physical aggr...
195
click to vote
WEBI
2010
Springer
15 years 4 months ago
2010
Springer
In recent years, there has been an explosion of publicly available RDF and OWL web pages. Some of these pages are static text files, while others are dynamically generated from la...
165
click to vote
CAISE
2008
Springer
15 years 8 months ago
2008
Springer
The purpose of validating a conceptual schema is to check whether it specifies what the designer intended. Our approach to validation consists in translating the schema into logic ...
159
click to vote
AMAST
2000
Springer
15 years 10 months ago
2000
Springer
Default reasoning has become an important topic in software engineering. In particular, defaults can be used to revise speci cations, to enhance reusability of existing systems, an...