Sciweavers

343 search results - page 4 / 69
» A Foundation for Hybrid Knowledge Bases
Sort
View
IJIT
2004
15 years 1 months ago
Consistent Hybrid Knowledge Representation in Order-Sorted Logic
Abstract-- We consider a hybrid knowledge representation system for ontological knowledge bases in order to maintain knowledge consistency between taxonomic knowledge and assertion...
Nwe Ni Tun, Satoshi Tojo
ICSE
2000
IEEE-ACM
15 years 3 months ago
Mathematical foundations of software engineering: a roadmap
Although we do not profess to be capable of defining a `roadmap' for the foundations of SE over the next ten years, we can discern some important steps that would be extremel...
T. S. E. Maibaum
ICTAI
2002
IEEE
15 years 4 months ago
Updating a Hybrid Rule Base with New Empirical Source Knowledge
Neurules are a kind of hybrid rules that combine a symbolic (production rules) and a connectionist (adaline unit) representation. Each neurule is represented as an adaline unit. O...
Jim Prentzas, Ioannis Hatzilygeroudis, Athanasios ...
ECAI
2008
Springer
15 years 1 months ago
A Coherent Well-founded Model for Hybrid MKNF Knowledge Bases
Abstract. With the advent of the Semantic Web, the question becomes important how to best combine open-world based ontology languages, like OWL, with closed-world rules paradigms. ...
Matthias Knorr, José Júlio Alferes, ...
PADL
2010
Springer
15 years 8 months ago
Implementing Query Answering for Hybrid MKNF Knowledge Bases
Abstract. Ontologies and rules are usually loosely coupled in knowledge representation formalisms. In fact, ontologies use open-world reasoning while the leading semantics for rule...
Ana Sofia Gomes, José Júlio Alferes,...