Sciweavers

3032 search results - page 391 / 607
» Description Logic Rules
Sort
View
EDBT
2002
ACM
138views Database» more  EDBT 2002»
16 years 6 months ago
DAML+OIL: A Reason-able Web Ontology Language
Ontologies are set to play a key role in the "Semantic Web", extending syntactic interoperability to semantic interoperability by providing a source of shared and precise...
Ian Horrocks
PKDD
2009
Springer
170views Data Mining» more  PKDD 2009»
16 years 20 days ago
Statistical Relational Learning with Formal Ontologies
Abstract. We propose a learning approach for integrating formal knowledge into statistical inference by exploiting ontologies as a semantically rich and fully formal representation...
Achim Rettinger, Matthias Nickles, Volker Tresp
DSD
2007
IEEE
83views Hardware» more  DSD 2007»
16 years 14 days ago
Hierarchical Identification of Untestable Faults in Sequential Circuits
Similar to sequential test pattern generation, the problem of identifying untestable faults in sequential circuits remains unsolved. Most of the previous works in untestability id...
Jaan Raik, Raimund Ubar, Anna Krivenko, Margus Kru...
IPPS
2007
IEEE
16 years 13 days ago
A Study of Design Efficiency with a High-Level Language for FPGAs
Over the years reconfigurable computing devices such as FPGAs have evolved from gate-level glue logic to complex reprogrammable processing architectures. However, the tools used f...
Zain-ul-Abdin, Bertil Svensson
AIIA
2007
Springer
16 years 9 days ago
Instance-Based Query Answering with Semantic Knowledge Bases
A procedure founded in instance-based learning is presented, for performing a form of analogical reasoning on knowledge bases expressed in a wide range of ontology languages. The p...
Nicola Fanizzi, Claudia d'Amato, Floriana Esposito