lkif

Documentation

Index

• func Import(inFile io.Reader) (*caes.ArgGraph, error)
• type Argument
• type ArgumentGraph
  • func (lag *ArgumentGraph) Caes() *caes.ArgGraph
• type ArgumentGraphs
• type Arguments
• type Atom
• type Conclusion
• type LKIF
• type Premise
• type Premises
• type Statement
• type Statements

Functions

func Import

func Import(inFile io.Reader) (*caes.ArgGraph, error)

Types

type Argument

type Argument struct {
	XMLName    xml.Name   `xml:"argument"`
	Id         string     `xml:"id,attr"`
	Title      string     `xml:"title,attr"`
	Direction  string     `xml:"direction,attr"`
	Scheme     string     `xml:"scheme,attr"`
	Weight     float64    `xml:"weight,attr"`
	Conclusion Conclusion `xml:"conclusion"`
	Premises   Premises   `xml:"premises"`
}

type ArgumentGraph

type ArgumentGraph struct {
	XMLName    xml.Name   `xml:"argument-graph"`
	Id         string     `xml:"id,attr"`
	Title      string     `xml:"title,attr"`
	Main       string     `xml:"main-issue,attr"`
	Statements Statements `xml:"statements"`
	Arguments  Arguments  `xml:"arguments"`
}

func (*ArgumentGraph) Caes

func (lag *ArgumentGraph) Caes() *caes.ArgGraph

Convert to an LKIF argument graph to a CAES argument graph

type ArgumentGraphs

type ArgumentGraphs struct {
	XMLName xml.Name        `xml:"argument-graphs"`
	Content []ArgumentGraph `xml:"argument-graph"`
}

type Arguments

type Arguments struct {
	Content []Argument `xml:"argument"`
}

type Atom

type Atom struct {
	XMLName   xml.Name `xml:"s"`
	Predicate string   `xml:"pred,attr"`
	Assumable bool     `xml:"assumable,attr"`
	Text      string   `xml:",innerxml"`
}

type Conclusion

type Conclusion struct {
	XMLName   xml.Name `xml:"conclusion"`
	Statement string   `xml:"statement,attr"` // Id
}

type LKIF

type LKIF struct {
	XMLName        xml.Name       `xml:"lkif"`
	Version        string         `xml:"version,attr"`
	ArgumentGraphs ArgumentGraphs `xml:"argument-graphs"`
}

type Premise

type Premise struct {
	XMLName   xml.Name `xml:"premise"`
	Polarity  string   `xml:"polarity,attr"`
	Type      string   `xml:"type,attr"`
	Role      string   `xml:"role,attr"`
	Statement string   `xml:"statement,attr"` // Id
}

type Premises

type Premises struct {
	Content []Premise `xml:"premise"`
}

type Statement

type Statement struct {
	XMLName    xml.Name `xml:"statement"`
	Id         string   `xml:"id,attr"`
	Value      string   `xml:"value,attr"`
	Assumption bool     `xml:"assumption,attr"`
	Standard   string   `xml:"standard,attr"`
	Atom       Atom     `xml:"s"`
}

type Statements

type Statements struct {
	Content []Statement `xml:"statement"`
}