explains
sub property of: topObjectProperty
property disjoint with: bottomObjectProperty
type: ObjectProperty
comment: links to a node set (and its antecedents) that is explained by the present node set. This is used for connecting the orginal justifications to the NodeSet that abstracts this node set (and its antecedents).
domain: Node Set
range: Node Set

because
sub property of: topObjectProperty
property disjoint with: bottomObjectProperty
type: ObjectProperty
comment: links to an inference step that derives the conclusion of the present node set.
domain: Node Set
range: Inference Step

map-to
sub property of: topDataProperty
property disjoint with: index
property disjoint with: bottomDataProperty
type: DatatypeProperty
comment: literal string as the subsitutor.
domain: Mapping
range: string

answer-generator
sub property of: topObjectProperty
property disjoint with: bottomObjectProperty
type: ObjectProperty
domain: Query
range: InferenceEngine

variable mapping
sub property of: topObjectProperty
property disjoint with: bottomObjectProperty
type: ObjectProperty
comment: Variable mapping captures the result (substitution) of unifying variables of premises/antecedents of a conclusion. Each VariableMapping of an inference step (i.e., the object of iw:hasVariableMapping) records the mapping from a 'variable' to a 'term' (both variable and term are first logic concepts). Each variable mapping maps to one substitution. Note that variable mapping only captures string-replace alike substitution, we do not assume any understanding/parsing of the sentences mentioned in antecedents. In each inference step, the variable binding should be applied to the conclusions of corresponding antecedents.
domain: Inference Step
range: Mapping

antecedent
sub property of: topObjectProperty
property disjoint with: bottomObjectProperty
type: ObjectProperty
comment: The Antecedents of an inference step (i.e., the object of iw:hasAntecedent) is a collection of node sets each of whose conclusions is a premise of the application of the inference step's rule. The collection can contain any number of node sets including none. PML supports the order of premises in two folds: (i) The fact that the premises are ordered may be relevant for some rules such as ordered resolution that uses the order to match premises with the schemas of the associated rule. To this end, users may declare one iw:hasAntecedent that links to an instance of rdf:List, which is an ordered list of the antecedent node sets. (II) For other rules such as modus Ponens, the order of the premises is irrelevant; therefore, Antecedents can be viewed as a bag of premises. To this end, users may declare multiple iw:hasAntecedent each of which links to an antecedent node set.
domain: Inference Step
range: List of NodeSet

Query
disjoint with: Nothing
subclass of: Thing
subclass of: Justification Element
type: Class
comment: A Query is a formal representation of user's question. For example, the content of the query can be '(type TonysSpecialty ?x)' which is encoded in KIF. An inference engine will take the query's content as input and find corresponding answers, each of which is a tree of node sets representing the proof traces obtained from the inference engine.
subclass of: http://lodlaundromat.org/.well-known/genid/b4935b1a22cb6a101804b1dae36e48b8#13
subclass of: http://lodlaundromat.org/.well-known/genid/b4935b1a22cb6a101804b1dae36e48b8#14

conclusion
sub property of: topObjectProperty
sub property of: hasContent
property disjoint with: bottomObjectProperty
type: ObjectProperty
comment: links to the conclusion of the present node set. The conclusion is the one after applied variable mapping of the node set's inference steps. The content/language/format of conclusion is the only information needed in comparing conclusions.
domain: Node Set

Justification Element
disjoint with: Nothing
subclass of: Thing
type: Class
comment: A justification element functions like relation in relational algebra. It captures the complex relations that associate.
subclass of: http://lodlaundromat.org/.well-known/genid/b4935b1a22cb6a101804b1dae36e48b8#1

answer pattern
sub property of: topDataProperty
property disjoint with: index
property disjoint with: bottomDataProperty
type: DatatypeProperty
comment: Usually it is an English Pattern for the question. We may apply (string-replace) the variable mappings from the answer node set to generate the answer of the question. We may generate different queries for the same question, e.g. find Li's friends: I can (i) run JTP (KIF) to derive John's friends or (ii) query (SPARQL) a FOAF RDF database using foaf:knows.
domain: Question
range: string

discharge
sub property of: topObjectProperty
property disjoint with: bottomObjectProperty
type: ObjectProperty
comment: dismiss causal dependency from the conclusion of the present nodeset to an (recursive) antecedent nodeset of the present inference step. In particular, OR-elimination can only be implemented by hasDischarge
domain: Inference Step
range: Node Set

map-from
sub property of: topDataProperty
property disjoint with: index
property disjoint with: bottomDataProperty
type: DatatypeProperty
comment: literal string to be replaced.
domain: Mapping
range: string

query-for
sub property of: topObjectProperty
property disjoint with: bottomObjectProperty
type: ObjectProperty
domain: Query
range: Question

List of NodeSet
disjoint with: Nothing
subclass of: List
subclass of: Thing
type: Class
subclass of: http://lodlaundromat.org/.well-known/genid/b4935b1a22cb6a101804b1dae36e48b8#11
subclass of: http://lodlaundromat.org/.well-known/genid/b4935b1a22cb6a101804b1dae36e48b8#12

Inference Step
disjoint with: Nothing
subclass of: Thing
subclass of: Justification Element
type: Class
subclass of: http://lodlaundromat.org/.well-known/genid/b4935b1a22cb6a101804b1dae36e48b8#7
subclass of: http://lodlaundromat.org/.well-known/genid/b4935b1a22cb6a101804b1dae36e48b8#6
subclass of: http://lodlaundromat.org/.well-known/genid/b4935b1a22cb6a101804b1dae36e48b8#9
subclass of: http://lodlaundromat.org/.well-known/genid/b4935b1a22cb6a101804b1dae36e48b8#8
subclass of: http://lodlaundromat.org/.well-known/genid/b4935b1a22cb6a101804b1dae36e48b8#10
subclass of: http://lodlaundromat.org/.well-known/genid/b4935b1a22cb6a101804b1dae36e48b8#5
subclass of: http://lodlaundromat.org/.well-known/genid/b4935b1a22cb6a101804b1dae36e48b8#4
comment: An inference step represents a justification for the conclusion of the corresponding node set. Instances of inference step are usually anonymous as part of node set. For this reason, inference steps usually have no URIs. Moreover, an application should treat node set and its inference steps in whole.

Node Set
disjoint with: Nothing
subclass of: Thing
subclass of: Justification Element
type: Class
comment: A node set hosts a conclusion and a set of alternative inference steps each of which can justify the conclusion. The term ``node set'' is chosen because a node set captures a set of nodes (with inference steps) from one or many proof trees deriving the same conclusion. The URI of a node set is its unique identifier, and every node set has exactly one URI.
subclass of: http://lodlaundromat.org/.well-known/genid/b4935b1a22cb6a101804b1dae36e48b8#2
subclass of: http://lodlaundromat.org/.well-known/genid/b4935b1a22cb6a101804b1dae36e48b8#3

index
sub property of: topDataProperty
property disjoint with: map-from
property disjoint with: bottomDataProperty
property disjoint with: map-to
property disjoint with: answer pattern
type: DatatypeProperty
comment: the index of this inference step in the corresponding node set.
domain: Inference Step
range: int

inference engine
sub property of: topObjectProperty
property disjoint with: bottomObjectProperty
type: ObjectProperty
comment: links to the inference engine that derives this inference step.
domain: Inference Step
range: InferenceEngine

source-answer-or-query
sub property of: topObjectProperty
property disjoint with: bottomObjectProperty
type: ObjectProperty
comment: abstract property modifying an inference step. It is use to impose the exclusion restriction on fromAnswer and fromQuery
domain: Inference Step

Mapping
disjoint with: Nothing
subclass of: Thing
type: Class
comment: annotating things to be mapped. The mapping is represented from a literal string to another literal string. PML does not understand/parse the semantics of the string.
subclass of: http://lodlaundromat.org/.well-known/genid/b4935b1a22cb6a101804b1dae36e48b8#17
subclass of: http://lodlaundromat.org/.well-known/genid/b4935b1a22cb6a101804b1dae36e48b8#18

Abstraction Rule
disjoint with: Nothing
subclass of: MethodRule
subclass of: Thing
type: Class

Question
disjoint with: Nothing
subclass of: Thing
subclass of: Justification Element
type: Class
comment: A Question refers to natural language version of a user's query. For example, a question can be "What is the type of Tony's Specialty?" A question is usually additional information to an instance of Query as additional annotation.
subclass of: http://lodlaundromat.org/.well-known/genid/b4935b1a22cb6a101804b1dae36e48b8#15
subclass of: http://lodlaundromat.org/.well-known/genid/b4935b1a22cb6a101804b1dae36e48b8#16

root-node-set
sub property of: topObjectProperty
sub property of: source-answer-or-query
property disjoint with: bottomObjectProperty
type: ObjectProperty
comment: the root node set that answers the specific query but not necessarily the present nodeset that hosts this inference step.
range: Node Set

source usage
sub property of: topObjectProperty
property disjoint with: bottomObjectProperty
type: ObjectProperty
comment: links to the source usage that is used in deriving this inference step.
domain: Inference Step
range: SourceUsage

answer
sub property of: topObjectProperty
property disjoint with: bottomObjectProperty
type: ObjectProperty
comment: links to one of many alternative answers to this query.
domain: Query
range: Node Set

meta binding
sub property of: topObjectProperty
property disjoint with: bottomObjectProperty
type: ObjectProperty
comment: Given a formal representation of inference rule (e.g. PPDR), we may represent the structure of inference rule (i.e. we don't need to represent rules as an opaque one). Therefore, the inference engine might have a chance to capture how each-part of the inference rule may be mapped to some sentences. This mapping is metabinding.
domain: Inference Step
range: Mapping

pattern
sub property of: topObjectProperty
property disjoint with: bottomObjectProperty
type: ObjectProperty
domain: Abstraction Rule
range: Node Set

source-query
sub property of: topObjectProperty
sub property of: source-answer-or-query
property disjoint with: bottomObjectProperty
type: ObjectProperty
comment: the query that is answered by the present node set that hosts this inference step
range: Query

inference rule
sub property of: topObjectProperty
property disjoint with: bottomObjectProperty
type: ObjectProperty
comment: links to the inference rule that is used in deriving this inference step.
domain: Inference Step
range: InferenceRule

http://lodlaundromat.org/.well-known/genid/b4935b1a22cb6a101804b1dae36e48b8#6
type: Restriction
max cardinality: 1
on property: inference rule

http://lodlaundromat.org/.well-known/genid/b4935b1a22cb6a101804b1dae36e48b8#14
type: Restriction
cardinality: 1
on property: hasContent

http://lodlaundromat.org/.well-known/genid/b4935b1a22cb6a101804b1dae36e48b8#5
type: Restriction
max cardinality: 1
on property: source usage

PML2 justification ontology
type: Ontology
comment: The justification part of PML2 ontology. It is a fundamental component of PML2 ontology.
imports: pml-provenance.owl
version info: version 2.0, Authors: Deborah L. McGuinness, Li Ding, Paulo Pinheiro da Silva, Alyssa Glass, and Cynthia Chang

http://lodlaundromat.org/.well-known/genid/b4935b1a22cb6a101804b1dae36e48b8#13
type: Restriction
cardinality: 1
on property: answer-generator

http://lodlaundromat.org/.well-known/genid/b4935b1a22cb6a101804b1dae36e48b8#4
type: Restriction
max cardinality: 1
on property: index

http://lodlaundromat.org/.well-known/genid/b4935b1a22cb6a101804b1dae36e48b8#18
type: Restriction
cardinality: 1
on property: map-to

http://lodlaundromat.org/.well-known/genid/b4935b1a22cb6a101804b1dae36e48b8#9
type: Restriction
max cardinality: 1
on property: hasConfidenceValue

http://lodlaundromat.org/.well-known/genid/b4935b1a22cb6a101804b1dae36e48b8#3
type: Restriction
cardinality: 1
on property: conclusion

http://lodlaundromat.org/.well-known/genid/b4935b1a22cb6a101804b1dae36e48b8#17
type: Restriction
cardinality: 1
on property: map-from

http://lodlaundromat.org/.well-known/genid/b4935b1a22cb6a101804b1dae36e48b8#8
type: Restriction
max cardinality: 1
on property: inference engine

http://lodlaundromat.org/.well-known/genid/b4935b1a22cb6a101804b1dae36e48b8#2
type: Restriction
max cardinality: 1
on property: explains

http://lodlaundromat.org/.well-known/genid/b4935b1a22cb6a101804b1dae36e48b8#16
type: Restriction
cardinality: 1
on property: hasContent

http://lodlaundromat.org/.well-known/genid/b4935b1a22cb6a101804b1dae36e48b8#10
type: Restriction
max cardinality: 1
on property: antecedent

http://lodlaundromat.org/.well-known/genid/b4935b1a22cb6a101804b1dae36e48b8#7
type: Restriction
max cardinality: 1
on property: source-answer-or-query

http://lodlaundromat.org/.well-known/genid/b4935b1a22cb6a101804b1dae36e48b8#1
type: Restriction
max cardinality: 1
on property: hasCreationDateTime

http://lodlaundromat.org/.well-known/genid/b4935b1a22cb6a101804b1dae36e48b8#15
type: Restriction
max cardinality: 1
on property: answer pattern