Knowledge representation (KR) is actually more than representation: It involves also inference, namely inference of “new” knowledge, i.e. new facts. Logic programming is a suitable KR medium, but more often than not discussions on this programming paradigm focus on aspects other than KR. In this paper, I elaborate on the general theory of logic programming and give the essentials of two of its main implementations, to wit, Prolog and Datalog, from the viewpoint of deductive computing over knowledge bases, which (...) includes deductive programming. (shrink)

Enterprise ontology for blockchain transactions includes datalogical, infological and essential levels. OntoClean analyzes ontologies based on formal, domain-independent properties (metaproperties), being the first attempt to formalize the notion of ontological analysis for computer systems. The notions are extracted from the philosophical ontology. In the semantic web, a property is a binary relationship, with a subtle distinction between ownership and class. Thus, a metaproperty is a property of a property or a class. The design of ontology can be done when there (...) is a basic understanding of the blockchain analysis. DOI: 10.13140/RG.2.2.23158.96327 . (shrink)

Ontologia de intreprindere face o distincție clară între nivelul datalogic, infolog și esențial al tranzacțiilor cu blockchain și contractele inteligente. Metodologia OntoClean analizează ontologiile bazate pe proprietăți formale, independente de domenii ale claselor (metaproprietăți), fiind prima încercare de a formaliza noțiunile de analiză ontologică pentru sistemele informatice. Noțiunile sunt extrase din ontologia filosofică. În webul semantic, o proprietate este o relație binară. Distincția dintre proprietate și clasă este subtilă. Astfel, o metaproprietate este o proprietate a unei proprietăți sau a unei (...) clase. DOI: 10.13140/RG.2.2.33456.51207. (shrink)