Formal foundations for RDF/S KB evolution - Flouris, Giorgos; Konstantinidis, George; Antoniou, Grigoris; Christophides, Vassilis (Knowledge and information systems, 2013)
Keywords: Algorithms; Applied sciences; Artificial intelligence; Computer Science; Computer science; control theory; systems; Data Mining and Knowledge Discovery; Database Management; Evolution; Exact sciences and technology; Formalism; Information Storage and Retrieval; Information Systems and Communication Service; Information Systems Applications (incl.Internet); Information systems. Data bases; Integrity; IT in Business; Knowledge; Learning and adaptive systems; Memory organisation. Data processing; Ontology; Operators; Principles; Regular Paper; Relational data bases; Semantic web; Semantics; Software; Studies; Success; Tuning; Validity; Change operator; Curated KBs; RDF/S evolution; Evolution in the presence of integrity constraints; Integrity constraints; Principle of Minimal Change; Belief; Customization; Knowledge base; Resource description framework; Maintenance; Addressing; Semantic web; Treatment; Efficiency; Semantics; Constraint integrity