Structuring and modules for knowledge bases: motivation for a new model

Grigoris Antoniou, Ipke Wachsmuth

Research output: Contribution to journalArticle

5 Citations (Scopus)

Abstract

Evolving out of theoretical and practical work, the paper presents the motivation and basic ideas for the construction and use of modular knowledge bases. The approach relates to earlier work carried out by each of the two authors of the paper separately. A model is introduced that merges the two previous approaches, modules for logical knowledge bases, and ordering by generality domains, while maintaining their benefits. Central aims are reusability, the restriction of memory searching, and the management of inconsistent (competing) knowledge within one knowledge base. The model is explained using examples, and the formal semantics are discussed of structured, modular knowledge bases for knowledge representations that are based on logic programming.

LanguageEnglish
Pages49-51
Number of pages3
JournalKnowledge-Based Systems
Volume7
Issue number1
DOIs
Publication statusPublished - 1 Mar 1994
Externally publishedYes

Fingerprint

Logic programming
Reusability
Knowledge representation
Semantics
Data storage equipment
Knowledge base
Module
Logic

Cite this

@article{9aeb29c97aca41349acdfc6cb5972fd7,
title = "Structuring and modules for knowledge bases: motivation for a new model",
abstract = "Evolving out of theoretical and practical work, the paper presents the motivation and basic ideas for the construction and use of modular knowledge bases. The approach relates to earlier work carried out by each of the two authors of the paper separately. A model is introduced that merges the two previous approaches, modules for logical knowledge bases, and ordering by generality domains, while maintaining their benefits. Central aims are reusability, the restriction of memory searching, and the management of inconsistent (competing) knowledge within one knowledge base. The model is explained using examples, and the formal semantics are discussed of structured, modular knowledge bases for knowledge representations that are based on logic programming.",
keywords = "knowledge representation, knowledge sharing, modules",
author = "Grigoris Antoniou and Ipke Wachsmuth",
year = "1994",
month = "3",
day = "1",
doi = "10.1016/0950-7051(94)90014-0",
language = "English",
volume = "7",
pages = "49--51",
journal = "Knowledge-Based Systems",
issn = "0950-7051",
publisher = "Elsevier",
number = "1",

}

Structuring and modules for knowledge bases : motivation for a new model. / Antoniou, Grigoris; Wachsmuth, Ipke.

In: Knowledge-Based Systems, Vol. 7, No. 1, 01.03.1994, p. 49-51.

Research output: Contribution to journalArticle

TY - JOUR

T1 - Structuring and modules for knowledge bases

T2 - Knowledge-Based Systems

AU - Antoniou, Grigoris

AU - Wachsmuth, Ipke

PY - 1994/3/1

Y1 - 1994/3/1

N2 - Evolving out of theoretical and practical work, the paper presents the motivation and basic ideas for the construction and use of modular knowledge bases. The approach relates to earlier work carried out by each of the two authors of the paper separately. A model is introduced that merges the two previous approaches, modules for logical knowledge bases, and ordering by generality domains, while maintaining their benefits. Central aims are reusability, the restriction of memory searching, and the management of inconsistent (competing) knowledge within one knowledge base. The model is explained using examples, and the formal semantics are discussed of structured, modular knowledge bases for knowledge representations that are based on logic programming.

AB - Evolving out of theoretical and practical work, the paper presents the motivation and basic ideas for the construction and use of modular knowledge bases. The approach relates to earlier work carried out by each of the two authors of the paper separately. A model is introduced that merges the two previous approaches, modules for logical knowledge bases, and ordering by generality domains, while maintaining their benefits. Central aims are reusability, the restriction of memory searching, and the management of inconsistent (competing) knowledge within one knowledge base. The model is explained using examples, and the formal semantics are discussed of structured, modular knowledge bases for knowledge representations that are based on logic programming.

KW - knowledge representation

KW - knowledge sharing

KW - modules

UR - http://www.scopus.com/inward/record.url?scp=38149143319&partnerID=8YFLogxK

U2 - 10.1016/0950-7051(94)90014-0

DO - 10.1016/0950-7051(94)90014-0

M3 - Article

VL - 7

SP - 49

EP - 51

JO - Knowledge-Based Systems

JF - Knowledge-Based Systems

SN - 0950-7051

IS - 1

ER -