http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#32
subclass of: Resource
type: Class
subclass of: Thing
type: Restriction
max cardinality: 1
on property: language

to-language
range: Thing
domain: Thing
order: 20.2
type: ObjectProperty
comment: language used by the target.
domain: Translation Plan
range: Linguistic System
category: base
type: Property
range: Entity
range: Resource
domain: Plan
domain: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#61
domain: Resource
domain: Entity
domain: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#60

http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#74
subclass of: Resource
type: Class
subclass of: Thing
type: Restriction
on class: Agent
on property: agent
qualified cardinality: 1

http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#14
type: Class
subclass of: Resource
subclass of: Thing
type: Restriction
cardinality: 1
on property: believedBy

Owner
subclass of: Thing
subclass of: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#40
subclass of: Resource
type: Class
order: 2
type: NamedIndividual
type: Role
subclass of: Agent
equivalent class: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#40
category: base
type: Thing

Belief
type: Class
subclass of: Resource
subclass of: Thing
comment: The abstract trust concept that associate from an agent to a piece of information. The belief relation shows an agents belief status on the specified information. The specific belief status (e.g. believes, disbelieves, ignorant) and corresponding value metrics are defined in the decendents of this class.
subclass of: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#14
subclass of: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#15
category: trust

http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#56
subclass of: Thing
type: Class
subclass of: Resource
type: Restriction
cardinality: 1
on property: from-row

Source
subclass of: Thing
subclass of: Resource
type: Class
type: NamedIndividual
type: Role
comment: A source refers to the source of information. It is the place where we obtain information.
subclass of: Entity
category: base
type: Thing

http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#38
type: Class
subclass of: Resource
subclass of: Thing
type: Restriction
cardinality: 1
on property: to-offset

Author
subclass of: Resource
type: Class
subclass of: Thing
subclass of: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#7
order: 1
type: NamedIndividual
type: Role
subclass of: Agent
equivalent class: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#7
category: base
type: Thing

Procedural Plan
subclass of: Resource
type: Class
subclass of: Thing
order: 18
comment: A method inference rule, uses patterns for premises and its conclusions, and additionally contains a method that must be applied. In addition, the conclusion needs to be a valid output of the method, using the premises. For example, procedural attachment is a common encoding form for method rules.
subclass of: Plan
category: base
subclass of: Entity

Document Fragment
subclass of: Resource
type: Class
subclass of: Thing
order: 11
comment: When a Document is treated as a one dimensional string, a fragment of the Document may be established with two offsets. The offsets are in units of characters (and not bytes because characters may be multiple bytes).
subclass of: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#20
subclass of: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#21
subclass of: Information Container
category: base
subclass of: Entity

http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#5
subclass of: Answer
subclass of: Resource
type: Class
subclass of: Thing
type: Restriction
min cardinality: 1
on property: answers
subclass of: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#31
subclass of: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#32
subclass of: Information
subclass of: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#33
subclass of: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#1
subclass of: Entity
equivalent class: Answer

Variable
subclass of: Resource
type: Class
subclass of: Thing
comment: a symbolic name associated with a value and whose associated value may be changed
subclass of: Information Container
category: base
subclass of: Entity

isPartOf
range: Thing
domain: Thing
type: ObjectProperty
category: base
type: Property
range: Resource
domain: Resource

float metric
subclass of: Resource
type: Class
subclass of: Thing
comment: A specific valuation metric that is defined on [0,1] as float number. 0 means fully negative point, 0.5 means nutral point, and 1 means fully positive point.
subclass of: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#22
category: trust

http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#63
type: Class
subclass of: Resource
subclass of: Thing
type: Restriction
cardinality: 1
on property: trustor

http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#33
subclass of: Resource
type: Class
subclass of: Thing
type: Restriction
min cardinality: 1
on property: value

Web Service
subclass of: Resource
type: Class
subclass of: Thing
order: 4
comment: services implemented by software and available on the Web
subclass of: SoftwareAgent
category: base

http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#75
subclass of: Resource
type: Class
subclass of: Thing
type: Restriction
min qualified cardinality: 1
on class: Agent
on property: hadMember

Float trust
type: Class
subclass of: Resource
subclass of: Thing
comment: An agent's overall trust on an information source quantified by a float value between 0 and 1.
subclass of: float metric
subclass of: Trust
category: trust
subclass of: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#22
subclass of: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#62
subclass of: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#63

http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#15
type: Class
subclass of: Resource
subclass of: Thing
type: Restriction
cardinality: 1
on property: believedIn

Empty Information
subclass of: Resource
type: Class
subclass of: Thing
order: 17
comment: An instance of information indicating no conclusion has been derived, i.e. empty set of statements. In this case, the rawstring may contain some english message indicating no answer.
subclass of: Information
category: base
subclass of: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#32
subclass of: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#31
subclass of: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#33
subclass of: Entity

Inference Engine
subclass of: Resource
type: Class
subclass of: Thing
order: 5
comment: An inference engine represents an engine that is able to produce a justification for a conclusion. Note that the phrase "inference engine" applies not only to reasoners but also to other systems like search engines which may justify their answers by direct assertion
subclass of: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#23
subclass of: SoftwareAgent
category: base

http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#57
subclass of: Thing
subclass of: Resource
type: Class
type: Restriction
cardinality: 1
on property: from-column

hasAuthor
range: Thing
domain: Thing
qualified form: qualifiedAuthorship
category: base
inverse of: authorOf
sub property of: wasAttributedTo
type: ObjectProperty
qualified form: Authorship
domain: Document
property chain axiom: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#69
order: 0.5
inverse: authorOf
range: Author
type: Property
domain: Resource
range: Resource
range: Agent
range: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#7
domain: Information Container
domain: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#19
domain: Entity
domain: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#17
domain: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#18

Row Column Location
subclass of: Thing
type: Class
subclass of: Resource
order: 11.8
subclass of: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#55
subclass of: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#56
subclass of: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#57
subclass of: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#58
subclass of: Location
category: base

Ownership
subclass of: Resource
type: Class
subclass of: Thing
order: 2.1
subclass of: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#46
subclass of: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#47
subclass of: Attribution
category: base
unqualified form: hasOwner

http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#39
subclass of: OwnedEntity
subclass of: Resource
type: Class
subclass of: Thing
type: Restriction
min qualified cardinality: 1
on class: Owner
on property: owned by
subclass of: Entity
equivalent class: OwnedEntity

Linguistic System
subclass of: Thing
subclass of: Resource
type: Class
order: 16
subclass of: Entity
category: base

http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#6
subclass of: Resource
type: Class
subclass of: Thing
type: Restriction
min qualified cardinality: 1
on class: Information
on property: generated

Authorship
subclass of: Resource
type: Class
subclass of: Thing
order: 1.1
subclass of: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#13
subclass of: Attribution
category: base
unqualified form: hasAuthor

File Format
subclass of: Thing
subclass of: Resource
type: Class
order: 14
subclass of: Entity
category: base

http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#22
subclass of: Thing
subclass of: Resource
type: Class
type: Restriction
cardinality: 1
on property: value

Rule
subclass of: Resource
type: Class
subclass of: Thing
order: 19
comment: A rule can be fully specified by patterns to generate conclusions from antecedents. For example, Modus Ponens, can be specified by the premise patterns ?A, ?A -> ?B and the conclusion pattern ?B.
subclass of: Declarative Plan
category: base
subclass of: Entity
subclass of: Plan

capable of
range: Thing
domain: Thing
type: ObjectProperty
comment: What plans Agents are able to perform.
domain: Agent
range: Plan
type: Property
range: Resource
range: Entity
domain: Resource

Inference Step
subclass of: Thing
subclass of: Resource
type: Class
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.
subclass of: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#28
subclass of: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#29
subclass of: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#30
subclass of: Activity

owned by
range: Thing
domain: Thing
qualified form: qualifiedOwnership
qualified form: Ownership
range: Owner
domain: OwnedEntity
type: ObjectProperty
sub property of: wasAttributedTo
inverse: ownerOf
order: 1.5
comment: the owner of a thing.
inverse of: ownerOf
category: base
type: Property
domain: Resource
range: Resource
range: Agent
range: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#40
domain: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#39
domain: Entity

http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#1
subclass of: Resource
type: Class
subclass of: Thing
type: Restriction
min qualified cardinality: 1
on class: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#2
on property: wasDerivedFrom

Float Belief
subclass of: Resource
subclass of: Thing
type: Class
comment: An agent's overall belief on a piece of information quantified by a float value between 0 and 1.
subclass of: Belief
subclass of: float metric
category: trust
subclass of: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#14
subclass of: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#22
subclass of: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#15

http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#16
subclass of: Resource
type: Class
subclass of: Thing
type: Restriction
min qualified cardinality: 1
on class: Information
on property: invalidated

has description template
range: Thing
domain: Thing
type: ObjectProperty
domain: Template
type: Property
range: Resource
domain: Plan
domain: Declarative Plan
domain: Resource
domain: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#59
domain: Entity

http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#58
subclass of: Thing
subclass of: Resource
type: Class
type: Restriction
cardinality: 1
on property: to-row

http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#28
subclass of: Resource
type: Class
subclass of: Thing
type: Restriction
max cardinality: 1
on property: antecedent

trustee
range: Thing
domain: Thing
type: ObjectProperty
comment: the information source that is trusted in providing information.
domain: Trust
range: Source
category: trust
type: Property
range: Resource
range: Entity
domain: Resource
domain: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#63
domain: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#62

conclusion
range: Thing
domain: Thing
type: ObjectProperty
sub property of: generated
definition: 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.
type: Property
domain: Resource
range: Resource

trustor
range: Thing
domain: Thing
type: ObjectProperty
comment: the agent that hold the trust relation with the trustee.
domain: Trust
range: Agent
category: trust
type: Property
range: Resource
domain: Resource
domain: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#63
domain: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#62

from-language
range: Thing
domain: Thing
order: 20.1
type: ObjectProperty
comment: language used by the source.
domain: Translation Plan
range: Linguistic System
category: base
type: Property
range: Entity
range: Resource
domain: Plan
domain: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#61
domain: Resource
domain: Entity
domain: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#60

Information Container
subclass of: Resource
type: Class
subclass of: Thing
order: 7
subclass of: Entity
category: base
editorial note: Do we mean frbr:Item or frbr:Manifestation?

language
range: Thing
domain: Thing
order: 15
type: ObjectProperty
comment: it specifies the language used to encode information, e.g. "Tony's specialty is shellfish" is encoded in English. This property may also link to a registered formal language such as KIF.
domain: Information
range: Linguistic System
category: base
type: Property
range: Entity
range: Resource
domain: Resource
domain: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#32
domain: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#33
domain: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#31
domain: Entity

Answer Template
subclass of: Resource
type: Class
subclass of: Thing
subclass of: Template
subclass of: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#59
subclass of: Declarative Plan
subclass of: Entity
subclass of: Plan

Position
subclass of: Thing
subclass of: Resource
type: Class
order: 11.5
subclass of: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#48
subclass of: Location
category: base

Document
subclass of: Thing
subclass of: Resource
type: Class
order: 8
comment: A physical information container that is not actionable. They function like database.
subclass of: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#17
subclass of: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#18
subclass of: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#19
subclass of: Information Container
category: base
subclass of: Entity

discharge
range: Thing
domain: Thing
type: ObjectProperty
domain: Inference Step
sub property of: invalidated
definition: 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
type: Property
domain: Resource
range: Resource
domain: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#28
domain: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#29
domain: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#30
domain: Activity

OwnedEntity
subclass of: Thing
subclass of: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#39
subclass of: Resource
type: Class
order: 2.3
subclass of: Entity
equivalent class: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#39
category: base

http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#17
subclass of: Resource
type: Class
subclass of: Thing
type: Restriction
min qualified cardinality: 0
on class: File Format
on property: format

Template
subclass of: Resource
type: Class
subclass of: Thing
subclass of: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#59
subclass of: Declarative Plan
subclass of: Entity
subclass of: Plan

Query
subclass of: Resource
subclass of: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#2
subclass of: Thing
type: Class
subclass of: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#64
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: Information
subclass of: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#33
subclass of: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#31
subclass of: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#32
subclass of: Entity

http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#59
subclass of: Resource
type: Class
subclass of: Thing
type: Restriction
min qualified cardinality: 1
on data range: string
on property: value

was generated with plan
range: Thing
domain: Thing
type: ObjectProperty
comment: The plan or plans that were used to create this entity.
domain: Entity
range: Plan
sub property of: wasInfluencedBy
property chain axiom: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#71
type: Property
domain: Resource
range: Resource
range: Entity

http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#29
subclass of: Resource
type: Class
subclass of: Thing
type: Restriction
max cardinality: 1
on property: hasConfidenceValue

http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#60
subclass of: Resource
type: Class
subclass of: Thing
type: Restriction
max cardinality: 1
on property: from-language

Offset Position
subclass of: Resource
type: Class
subclass of: Thing
order: 11.75
subclass of: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#38
subclass of: Position
category: base
subclass of: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#48
subclass of: Location

http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#30
subclass of: Resource
type: Class
subclass of: Thing
type: Restriction
on class: Inference Engine
on property: wasAssociatedWith
qualified cardinality: 1

Variable Mapping
subclass of: Resource
type: Class
subclass of: Thing
subclass of: Map
subclass of: Declarative Plan
subclass of: Plan
subclass of: Entity

antecedent
range: Thing
domain: Thing
type: ObjectProperty
domain: Inference Step
sub property of: used
property chain axiom: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#67
definition: An antecedent of an activity is an entity that is used by in such a way that the generated entities are derived from them. This provides a link between processual and derivational provenance that will allow proof-theoretic analysis to be applied to PROV and PML provenance assertions.
type: Property
domain: Resource
range: Resource
domain: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#28
domain: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#29
domain: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#30
domain: Activity

Informationless Activity
subclass of: Resource
type: Class
subclass of: Thing
subclass of: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#34
subclass of: Activity
equivalent class: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#34
subclass of: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#36

Ontology
subclass of: Resource
type: Class
subclass of: Thing
order: 10
comment: An Ontology is a document that describes a vocabulary of terms and their correlations.
comment: This is a proper superclass of owl:Ontology, since ontologies may be expressed in formalisms other than OWL.
subclass of: Document
category: base
subclass of: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#19
subclass of: Entity
subclass of: Information Container
subclass of: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#18
subclass of: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#17

Abstraction Rule
subclass of: Resource
type: Class
subclass of: Thing
subclass of: Plan
subclass of: Entity

Trust
type: Class
subclass of: Thing
subclass of: Resource
comment: The abstract trust concept that associate from an agent to a source. The trust relation summarizes an agent's overall believes about information from the specified source. The specific trust metrics are defined in the decendents of this class.
subclass of: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#62
subclass of: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#63
category: trust

believedIn
range: Thing
domain: Thing
type: ObjectProperty
comment: the information being believed in.
domain: Belief
range: Information
category: trust
type: Property
range: Entity
range: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#32
range: Resource
range: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#31
range: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#33
domain: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#15
domain: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#14
domain: Resource

http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#36
subclass of: Resource
type: Class
subclass of: Thing
type: Restriction
max qualified cardinality: 0
on class: Information
on property: generated

qualifiedPublishership
range: Thing
domain: Thing
order: 3.2
type: ObjectProperty
range: Publishership
sub property of: qualifiedAttribution
category: qualified
unqualified form: hasPublisher
type: Property
domain: Resource
range: Resource
range: Attribution

http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#48
subclass of: Thing
type: Class
subclass of: Resource
type: Restriction
cardinality: 1
on property: from-offset

http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#18
subclass of: Resource
type: Class
subclass of: Thing
type: Restriction
min qualified cardinality: 0
on class: Linguistic System
on property: language

Map
subclass of: Resource
type: Class
subclass of: Thing
comment: An associative array, an abstract data type composed of a collection of keys and a collection of values, where each key is associated with one value
subclass of: Declarative Plan
subclass of: Entity
subclass of: Plan

http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#61
subclass of: Resource
type: Class
subclass of: Thing
type: Restriction
max cardinality: 1
on property: to-language

Translation Plan
subclass of: Thing
subclass of: Resource
type: Class
order: 20
comment: Translation rules are special kinds of inference rules which are used to translate expressions from one language to the other.
subclass of: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#60
subclass of: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#61
subclass of: Plan
category: base
subclass of: Entity

http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#31
subclass of: Resource
type: Class
subclass of: Thing
type: Restriction
max cardinality: 1
on property: format

Question Template
subclass of: Resource
type: Class
subclass of: Thing
subclass of: Template
subclass of: Declarative Plan
subclass of: Entity
subclass of: Plan
subclass of: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#59

Information
subclass of: Thing
subclass of: Resource
type: Class
order: 12
comment: A piece of information, e.g. a formula in logic languages, and an utterance/word/phrase/sentence/paragraph/article in natural language. It is used as a range of iw:hasContent. This class and two of its sub-classes enable users to specify four types of semantics (i) Information Annotation - annotate just the format and language used by the content of information; (ii) Information With Content - additionally provide the content of information that is materialized as string without loading a web page; (iii) Information external - additionally provide the URL for fetching the content; and (iv) Information - with every thing including the content string and URL. The second semantics is especially useful when the content is short or mainly used locally. For example, when learning by instruction, the utterances used for learning can be stored within the PML document without being externally stored. By assigning URI reference to information, we can even use owl:sameAs to capture the equivalence of two pieces of information.
subclass of: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#31
subclass of: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#32
subclass of: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#33
subclass of: Entity
category: base

Publishership
subclass of: Resource
type: Class
subclass of: Thing
order: 3.1
subclass of: Attribution
category: base
unqualified form: hasPublisher

believedBy
range: Thing
domain: Thing
type: ObjectProperty
comment: the agent that hold the belief assertion.
domain: Belief
range: Agent
category: trust
type: Property
range: Resource
domain: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#15
domain: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#14
domain: Resource

http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#13
subclass of: Resource
type: Class
subclass of: Thing
type: Restriction
max qualified cardinality: 1
on class: Position
on property: atLocation

Question
subclass of: Thing
subclass of: Resource
subclass of: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#2
subclass of: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#64
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: Information
subclass of: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#33
subclass of: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#32
subclass of: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#31
subclass of: Entity

because
range: Thing
domain: Thing
type: ObjectProperty
comment: links to an inference step that derives the conclusion of the present node set.
range: Inference Step
sub property of: wasGeneratedBy
type: Property
domain: Resource
range: Resource
range: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#29
range: Activity
range: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#28
range: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#30

http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#55
subclass of: Resource
type: Class
subclass of: Thing
type: Restriction
cardinality: 1
on property: to-column

format
range: Thing
domain: Thing
order: 13
type: ObjectProperty
comment: it specifies the format of information, e.g. "pdf", "ppt" (Power Point). It is mainly used to determine the appropriate application for process/display purpose.
range: File Format
category: base
type: Property
range: Resource
range: Entity
domain: Resource

published by
range: Thing
domain: Thing
qualified form: Publishership
comment: An agent responsible for making the document publicly available. see also http://purl.org/dc/elements/1.1/publisher.
inverse of: publisherOf
inverse: publisherOf
qualified form: qualifiedPublishership
range: Publisher
sub property of: wasAttributedTo
category: base
type: ObjectProperty
order: 2.5
type: Property
domain: Resource
range: Resource
range: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#49
range: Agent

Publisher
subclass of: Resource
type: Class
subclass of: Thing
subclass of: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#49
order: 3
type: NamedIndividual
type: Role
subclass of: Agent
equivalent class: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#49
category: base
type: Thing

answer
range: Thing
domain: Thing
type: ObjectProperty
domain: Query
sub property of: hadDerivation
definition: links to one of many alternative answers to this query.
type: Property
domain: Resource
range: Resource
domain: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#2
domain: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#32
domain: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#64
domain: Information
domain: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#33
domain: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#31
domain: Entity

qualifiedOwnership
range: Thing
domain: Thing
order: 2.2
type: ObjectProperty
range: Ownership
sub property of: qualifiedAttribution
category: qualified
unqualified form: hasOwner
type: Property
domain: Resource
range: Resource
range: Attribution
range: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#47
range: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#46

http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#19
subclass of: Resource
type: Class
subclass of: Thing
type: Restriction
max cardinality: 1
on property: version

http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#20
subclass of: Resource
type: Class
subclass of: Thing
type: Restriction
on class: Document
on property: isPartOf
qualified cardinality: 1

Observer
subclass of: Resource
type: Class
subclass of: Thing
order: 3.9
comment: any agent that receives a signal or stimulus (as heat or pressure or light or motion etc.) and records it.
subclass of: Agent
category: base

qualifiedAuthorship
range: Thing
domain: Thing
order: 1.2
type: ObjectProperty
range: Authorship
sub property of: qualifiedAttribution
category: qualified
unqualified form: hasAuthor
type: Property
domain: Resource
range: Resource
range: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#13
range: Attribution

query-for
range: Thing
domain: Thing
type: ObjectProperty
domain: Query
range: Question
sub property of: specializationOf
type: Property
domain: Resource
range: Resource
range: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#64
range: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#2
range: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#33
range: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#32
range: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#31
range: Entity
range: Information
domain: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#2
domain: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#32
domain: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#64
domain: Information
domain: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#33
domain: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#31
domain: Entity

Declarative Plan
subclass of: Resource
type: Class
subclass of: Thing
subclass of: Plan
definition: Declarative plans are specified in terms of declarative patterns. Contrast with procedural plan.
subclass of: Entity

description
range: Thing
domain: Thing
order: 0.1
type: ObjectProperty
comment: The detailed description of the identified thing, e.g. a web page describing KIF language. An identified thing may have zero to many descriptions that could be written in different languages, format, and etc.
range: Information
category: base
type: Property
range: Entity
range: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#32
range: Resource
range: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#31
range: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#33
domain: Resource

http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#62
subclass of: Thing
subclass of: Resource
type: Class
type: Restriction
cardinality: 1
on property: trustee

PML2 trust ontology
type: Ontology
comment: The trust part of PML2 ontology. It is a fundamental component of PML2 ontology.
imports: prov#
version info: version 2.0, Authors: Deborah L. McGuinness, Honglei Zeng, Li Ding, Paulo Pinheiro da Silva, Alyssa Glass, and Cynthia Chang

value
type: DatatypeProperty
comment: The value of the metric, and We may consider better datatype in future.
domain: float metric
range: float
category: trust
type: Property
range: Resource
domain: Thing
domain: Resource
domain: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#22

version
order: 0.3
type: DatatypeProperty
comment: the version number.
range: string
category: base
type: Property
range: Resource

published in
type: DatatypeProperty
comment: When the publication is published.
range: dateTime
sub property of: generatedAtTime
category: base
type: Property
range: Resource

created
type: DatatypeProperty
comment: When the artifact has been first created.
domain: Bundle
range: dateTime
sub property of: generatedAtTime
category: base
type: Property
range: Resource
domain: Thing
domain: Resource

from-offset
order: 11.76
type: DatatypeProperty
comment: The from offset of the fragment (inclusive, index based on 0).
domain: Offset Position
range: int
category: base
type: Property
range: Resource
range: long
range: integer
range: decimal
domain: Thing
domain: Resource
domain: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#48
domain: Position
domain: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#38
domain: Location

to-column
order: 11.84
type: DatatypeProperty
comment: The to column of the fragment (inclusive, index based on 1)
domain: Row Column Location
range: int
category: base
type: Property
range: Resource
range: long
range: integer
range: decimal
domain: Thing
domain: Resource
domain: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#55
domain: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#57
domain: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#56
domain: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#58
domain: Location

nil
type: NamedIndividual
comment: The empty list, with no items in it. If the rest of a list is nil then the list has no more items in it.

to-offset
order: 11.6
type: DatatypeProperty
comment: The to offset of the fragment (exclusive, index based on 0)
domain: Offset Position
range: int
category: base
type: Property
range: Resource
range: long
range: integer
range: decimal
domain: Thing
domain: Resource
domain: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#48
domain: Position
domain: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#38
domain: Location

from-column
order: 11.82
type: DatatypeProperty
comment: The from column of the fragment (inclusive, index based on 1)
domain: Row Column Location
range: int
category: base
type: Property
range: Resource
range: long
range: integer
range: decimal
domain: Thing
domain: Resource
domain: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#55
domain: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#57
domain: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#56
domain: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#58
domain: Location

encoding
order: 0
type: DatatypeProperty
comment: The content encoding, e.g. "base64". The value of this property helps applications determine the decoder of the raw string.
domain: Entity
range: string
category: base
type: Property
range: Resource
domain: Thing
domain: Resource

http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#78
type: Axiom
annotated property: comment
annotated source: Map
annotated target: An associative array, an abstract data type composed of a collection of keys and a collection of values, where each key is associated with one value
was quoted from: http://en.wikipedia.org/w/index.php

atIndex
type: DatatypeProperty
comment: A literal analogue to prov:atLocation that specifies the position as an integer value.
domain: Influence
range: integer
category: base
type: Property
range: decimal
range: Resource
domain: Thing
domain: Resource

Provenance Markup Language (PML 3.0)
type: Ontology
comment: The Provenance Markup Language (PML 3.0) is an OWL ontology that extends W3C's PROV-O with the best parts of PML 2.0.
imports: prov-o#
imports: prov-o-inverses#
version info: version 3.0, Authors: Timothy Lebo, James P. McCusker, Paulo Pinheiro, Cynthia Chang, and Deborah L. McGuinness

PML3 proof ontology
type: Ontology
comment: The proof-theoretic part of PML3 ontology. It is a fundamental component of PML3 ontology.
imports: Provenance Markup Language (PML 3.0)
version info: version 3.0, Authors: Timothy Lebo, James P. McCusker, Deborah L. McGuinness, Li Ding, Paulo Pinheiro da Silva, Alyssa Glass, and Cynthia Chang

last modified
type: DatatypeProperty
comment: When the artifact has been modified.
domain: Bundle
range: dateTime
sub property of: generatedAtTime
category: base
type: Property
range: Resource
domain: Thing
domain: Resource

media type
type: DatatypeProperty
domain: File Format
type: Property
domain: Thing
domain: Resource
domain: Entity

to-row
order: 11.83
type: DatatypeProperty
comment: The to row of the fragment (inclusive, index based on 1)
domain: Row Column Location
range: int
category: base
type: Property
range: Resource
range: long
range: integer
range: decimal
domain: Thing
domain: Resource
domain: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#55
domain: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#57
domain: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#56
domain: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#58
domain: Location

http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#79
type: Axiom
annotated property: comment
annotated source: Variable
annotated target: a symbolic name associated with a value and whose associated value may be changed
was quoted from: http://en.wikipedia.org/w/index.php

from-row
order: 11.81
type: DatatypeProperty
comment: The from row of the fragment (inclusive, index based on 1)
domain: Row Column Location
range: int
category: base
type: Property
range: Resource
range: long
range: integer
range: decimal
domain: Thing
domain: Resource
domain: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#55
domain: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#57
domain: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#56
domain: http://lodlaundromat.org/.well-known/genid/12164979e54ec32b7eb72705d5845c6b#58
domain: Location