ºÝºÝߣ

ºÝºÝߣShare a Scribd company logo

Litteratus calculus fundamentals

?
?
J
Jean Rohmer

This document introduces Litteratus Calculus, a new semantic framework based on minimal autonomous sentences called inferons. An interlogos is a subset of words common to two inferons, and an argos is a graph connecting inferons and interlogos. Litteratus Calculus uses inductive analogy operations to perform queries, inferences, and other tasks over inferons. The goal is to build a more sustainable and democratic semantic web where any person can contribute inferons without extensive formatting or logic rules.

1 of 8
Download to read offline
LITTERATUS CALCULUS: A MANIFESTO FOR A DEMOGRAPHIC WAY TO BUILD A SUSTAINABLE SEMANTIC WEB Jean Rohmer Ecole Sup¨¦rieure d¡¯Ing¨¦nieurs L¨¦onard de Vinci jean.rohmer@devinci.fr (Originally presented at ESWC 2006 Budva Montenegro)
LITTERATUS CALCULUS: ? LESS IS GOOD ? LESS FORMAT IS GOOD FORMAT LESS LOGIC IS GOOD LOGIC LESS SOFTWARE ENG. IS GOOD SOFTWARE ENG. LESS MEANS MORE SUSTAINABLE SYSTEMS LESS MEANS MORE RESPONSIVE SYSTEMS LESS MEANS MORE USERS LESS MEANS MORE RESPONSIBLE USERS
LITTERATUS CALCULUS = ONE CONCEPT ? INFERON ? AN INFERON IS A MINIMAL AUTONOMOUS SENTENCE IN ANY HUMAN READABLE LANGUAGE MINIMAL = cannot be replaced by one or several shorter sentences AUTONOMOUS = self-sufficient to be understood alone by a certain community of people RDF triples are inferons , Logic clauses are inferons Poem verses are often inferons, Natural Language Sentences may be inferons
LITT. CALCULUS DEDUCED CONCEPT ? INTERLOGOS ? AN INTERLOGOS IS A SUBSET OF WORDS COMMON TO TWO INFERONS There are two national airlines having scheduled flights to airport of Tivat airlines Montenegro Airlines opens an flights tivat airport airlines Agency in Kotor Montenegro Airlines has regular flights montenegro airlines serving Tivat Airport
LITT. CALCULUS DEDUCED CONCEPT ? ARGOS? AN ARGOS IS A GRAPH OF INFERONS AND INTERLOGOS There are two national airlines having There are two national airlines having scheduled flights to airport of Tivat airlines airlines scheduled flights to airport of Tivat Montenegro Airlines opens an Montenegro Airlines opens an flights tivat airport airlines Agency in Kotor Agency in Kotor flights tivat airport airlines Montenegro Airlines has regular flights Montenegro Airlines has regular flights montenegro airlines montenegro airlines serving Tivat Airport serving Tivat Airport
LITTERATUS CALCULUS PROPERTIES INFERONS are generalizations of RDF statements INTERLOGOS are generalizations of RDF resources, properties, values In Litteratus Calculus, everything is represented by inferons: facts -- data-- models -- ontologies ¨C rules ¨C dictionnaries -- tables Peter is a person -- ? Lives ? means ? Vit ? in French Peter lives in Lisbon -- Mary visited Lisbon in Spring 2004 with Joe A person is a mortal -- Joe is an old friend of Peter EVERYBODY CAN WRITE INFERONS !
LITTERATUS CALCULUS OPERATIONS Basic operation of litteratus calculus: inductive analogy 1) A is similar to B if they both have C as a neighbour in an inferon 2) A is similar to B if they have C1 and C2 neighbour which are similar 3) If A and B are similar, if A has neighbour C, then consider the possibility that B has also neighbour C Ongoing Work: -- Analogy-based query & navigator -- Analogy-based inference engine -- Analogy-based grammatical extraction engine -- Discovery of the Rhetorics of texts -- Study of Differences
AN ARGOS BETWEEN TWO INTERLOGOS INFERONS (implemented with IDELIANCE?)

More Related Content

Litteratus calculus fundamentals

  • 1. LITTERATUS CALCULUS: A MANIFESTO FOR A DEMOGRAPHIC WAY TO BUILD A SUSTAINABLE SEMANTIC WEB Jean Rohmer Ecole Sup¨¦rieure d¡¯Ing¨¦nieurs L¨¦onard de Vinci jean.rohmer@devinci.fr (Originally presented at ESWC 2006 Budva Montenegro)
  • 2. LITTERATUS CALCULUS: ? LESS IS GOOD ? LESS FORMAT IS GOOD FORMAT LESS LOGIC IS GOOD LOGIC LESS SOFTWARE ENG. IS GOOD SOFTWARE ENG. LESS MEANS MORE SUSTAINABLE SYSTEMS LESS MEANS MORE RESPONSIVE SYSTEMS LESS MEANS MORE USERS LESS MEANS MORE RESPONSIBLE USERS
  • 3. LITTERATUS CALCULUS = ONE CONCEPT ? INFERON ? AN INFERON IS A MINIMAL AUTONOMOUS SENTENCE IN ANY HUMAN READABLE LANGUAGE MINIMAL = cannot be replaced by one or several shorter sentences AUTONOMOUS = self-sufficient to be understood alone by a certain community of people RDF triples are inferons , Logic clauses are inferons Poem verses are often inferons, Natural Language Sentences may be inferons
  • 4. LITT. CALCULUS DEDUCED CONCEPT ? INTERLOGOS ? AN INTERLOGOS IS A SUBSET OF WORDS COMMON TO TWO INFERONS There are two national airlines having scheduled flights to airport of Tivat airlines Montenegro Airlines opens an flights tivat airport airlines Agency in Kotor Montenegro Airlines has regular flights montenegro airlines serving Tivat Airport
  • 5. LITT. CALCULUS DEDUCED CONCEPT ? ARGOS? AN ARGOS IS A GRAPH OF INFERONS AND INTERLOGOS There are two national airlines having There are two national airlines having scheduled flights to airport of Tivat airlines airlines scheduled flights to airport of Tivat Montenegro Airlines opens an Montenegro Airlines opens an flights tivat airport airlines Agency in Kotor Agency in Kotor flights tivat airport airlines Montenegro Airlines has regular flights Montenegro Airlines has regular flights montenegro airlines montenegro airlines serving Tivat Airport serving Tivat Airport
  • 6. LITTERATUS CALCULUS PROPERTIES INFERONS are generalizations of RDF statements INTERLOGOS are generalizations of RDF resources, properties, values In Litteratus Calculus, everything is represented by inferons: facts -- data-- models -- ontologies ¨C rules ¨C dictionnaries -- tables Peter is a person -- ? Lives ? means ? Vit ? in French Peter lives in Lisbon -- Mary visited Lisbon in Spring 2004 with Joe A person is a mortal -- Joe is an old friend of Peter EVERYBODY CAN WRITE INFERONS !
  • 7. LITTERATUS CALCULUS OPERATIONS Basic operation of litteratus calculus: inductive analogy 1) A is similar to B if they both have C as a neighbour in an inferon 2) A is similar to B if they have C1 and C2 neighbour which are similar 3) If A and B are similar, if A has neighbour C, then consider the possibility that B has also neighbour C Ongoing Work: -- Analogy-based query & navigator -- Analogy-based inference engine -- Analogy-based grammatical extraction engine -- Discovery of the Rhetorics of texts -- Study of Differences
  • 8. AN ARGOS BETWEEN TWO INTERLOGOS INFERONS (implemented with IDELIANCE?)