Sciweavers

1058 search results - page 103 / 212
» Fault-Tolerant Resource Reasoning
Sort
View
112
Voted
SEMWEB
2007
Springer
15 years 6 months ago
Measuring Incoherence in Description Logic-Based Ontologies
Ontologies play a core role in the success of the Semantic Web as they provide a shared vocabulary for different resources and applications. Developing an error-free ontology is a...
Guilin Qi, Anthony Hunter
92
Voted
ICES
2003
Springer
86views Hardware» more  ICES 2003»
15 years 6 months ago
A Note on Designing Logical Circuits Using SAT
Abstract. We present a systematic procedure for the synthesis and minimisation of digital circuits using propositional satisfiability. We encode the truth table into a canonical s...
Giovani Gomez Estrada
ICSE
2003
IEEE-ACM
15 years 6 months ago
Requirements, Architectures and Risks
There is wide agreement that architecture plays a prominent role in large, complex software systems. Selection of an appropriate architecture – one that matches the system requi...
James D. Kiper, Martin S. Feather
CLIN
2000
15 years 2 months ago
Alpino: Wide-coverage Computational Analysis of Dutch
Alpino is a wide-coverage computational analyzer of Dutch which aims at accurate, full, parsing of unrestricted text. We describe the head-driven lexicalized grammar and the lexic...
Gosse Bouma, Gertjan van Noord, Rob Malouf
129
Voted
DATESO
2009
121views Database» more  DATESO 2009»
14 years 10 months ago
Translation of Ontology Retrieval Problem into Relational Queries
Ontology as a knowledge base can provide different reasoning tasks, e.g. to check consistency of the ontology or to check whether a resource is instance of a concept or not. In thi...
Jaroslav Pokorný, Jana Pribolová, Pe...