more language - university of...

71
More language Sapir-Whorf, eat your heart out 1 Wednesday, 30 November 2011

Upload: others

Post on 25-Jul-2020

4 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: More language - University of Manchesterstudentnet.cs.manchester.ac.uk/pgt/2011/COMP60421/slides/week3-language.pdf– TBox, ABox, (RBox, DataBox) – Different logics have • Different

More language

Sapir-Whorf, eat your heart out

1Wednesday, 30 November 2011

Page 2: More language - University of Manchesterstudentnet.cs.manchester.ac.uk/pgt/2011/COMP60421/slides/week3-language.pdf– TBox, ABox, (RBox, DataBox) – Different logics have • Different

Language design basics

2Wednesday, 30 November 2011

Page 3: More language - University of Manchesterstudentnet.cs.manchester.ac.uk/pgt/2011/COMP60421/slides/week3-language.pdf– TBox, ABox, (RBox, DataBox) – Different logics have • Different

The Design Triangle (recalled)Expressivity

(Representational Adequacy)

Usability(Weak Cognitive Adequacy

vs.Cognitive Complexity)

Computability(vs. Computational and

Implementational Complexity)

Each vertex has multiple positive and negativeinteractions with the others

3Wednesday, 30 November 2011

Page 4: More language - University of Manchesterstudentnet.cs.manchester.ac.uk/pgt/2011/COMP60421/slides/week3-language.pdf– TBox, ABox, (RBox, DataBox) – Different logics have • Different

The Design Triangle (recalled)• Expressivity

– What we can say (or say easily, or naturally, or...)– If suitable to our needs, a formalism (or KR) is

representationally adequate

• Computational Complexity– How hard is it (in terms of resources) to work with?– Related: Implementational Complexity

• How hard is it to produce a production quality implementation

• Cognitive Complexity– Focus on Weak Cognitive Adequacy i.e., Usability

• A good KR (or KR formalism) achieves a good balance of all of these for most of its uses, most of the time

4Wednesday, 30 November 2011

Page 5: More language - University of Manchesterstudentnet.cs.manchester.ac.uk/pgt/2011/COMP60421/slides/week3-language.pdf– TBox, ABox, (RBox, DataBox) – Different logics have • Different

Language Design• KR languages are like (individual) KRs

– Indeed, we can view them as a (v. general) KR– The design considerations are similar

• General desiderata:1. Clarity of specification2. Expressivity3. Usability4. Computability

• As we’ve seen, 1. points toward logic!– FOL (at least) is well understood– FOL (at least) is v. expressive

• Though it has known holes– Usability....– Computability...

The usual triad

5Wednesday, 30 November 2011

Page 6: More language - University of Manchesterstudentnet.cs.manchester.ac.uk/pgt/2011/COMP60421/slides/week3-language.pdf– TBox, ABox, (RBox, DataBox) – Different logics have • Different

Some Considerations• Designing a logic from a reasoning perspective

– What expressivity do you need?– What's your core service?– What are the key services?– Are you interactive or not?– What's the scale you need to deal with?

• And other performance characteristics– What do you know about implementation?

• What these somewhat neglect– Many surface syntax issues– Non logical aspects of the language– Cognitive complexity

6Wednesday, 30 November 2011

Page 7: More language - University of Manchesterstudentnet.cs.manchester.ac.uk/pgt/2011/COMP60421/slides/week3-language.pdf– TBox, ABox, (RBox, DataBox) – Different logics have • Different

Automated Reasoning (types)• Automated Reasoning

– (Sometimes known: “theorem proving”)– (Typically: Deduction!)– Two basic flavors

• Interactive reasoning: – “Proof assistants” – A human user interacts with the program to generate proofs – System provides verification of steps, suggested next steps, etc.– “Mixed initiative”

• (Fully) Automated Reasoning – Set up initial conditions

• Premises, question to be answered – Default questions

– Program does the rest!

7Wednesday, 30 November 2011

Page 8: More language - University of Manchesterstudentnet.cs.manchester.ac.uk/pgt/2011/COMP60421/slides/week3-language.pdf– TBox, ABox, (RBox, DataBox) – Different logics have • Different

Automated Reasoning (which one?)• What's your goal? • Interactive (typical)

– Prove or verify math theorems – Verify algorithms – Things which are v. hard to prove

• Because there isn’t any fully automated way

• Automated (typical)– Some math theorem proving– Whenever your concern is for the answer than the process

• Database integration • Expert systems • Query answering • Debugging representations

8Wednesday, 30 November 2011

Page 9: More language - University of Manchesterstudentnet.cs.manchester.ac.uk/pgt/2011/COMP60421/slides/week3-language.pdf– TBox, ABox, (RBox, DataBox) – Different logics have • Different

Interactive Reasoning vs. System• Interactive reasoning refers to the process of proving

– Human intervention is required to supply proof steps

• AR can be part of an interactive system – E.g., a dialogue driven expert system– Consider database based systems– Consider Protege!

9Wednesday, 30 November 2011

Page 10: More language - University of Manchesterstudentnet.cs.manchester.ac.uk/pgt/2011/COMP60421/slides/week3-language.pdf– TBox, ABox, (RBox, DataBox) – Different logics have • Different

Services• Core

– Satisfiability/Consistency Checking

• Key– Entailment

• With default questions– Classification (atomic subsumptions)

» Atomic class satisfiability– Instantiation

• With different ASK languages– More outré

• Explanations of entailments• Modules

• What do the core services give us?– Verification, reaction, query

10Wednesday, 30 November 2011

Page 11: More language - University of Manchesterstudentnet.cs.manchester.ac.uk/pgt/2011/COMP60421/slides/week3-language.pdf– TBox, ABox, (RBox, DataBox) – Different logics have • Different

Default Questions• Good default questions (can) improve usability

– User does not need to formulate the questions– Easy invocation of the questions– Built in coverage

• Classification checks EVERY pair of atomic classes for subsumption– Given {A, B, C},

» check A SubClassOf: B; A SubClassOf: C, B SubClassOf:C...• How many checks?

• Even good default questions can cause problems– Formulation takes practice and inclination

• Skills atrophy!– Users write to the default queries

• May distort modelling• In serious ways!

– Reasoners get overtuned to default questions

Usability

11Wednesday, 30 November 2011

Page 12: More language - University of Manchesterstudentnet.cs.manchester.ac.uk/pgt/2011/COMP60421/slides/week3-language.pdf– TBox, ABox, (RBox, DataBox) – Different logics have • Different

Computability • What issue are we facing?

– For some problem• Say consistency checking (CC)

– is there a program that solves that problem?• and for us, in “reasonable” time/space• i.e., with reasonable complexity

• First big question:– Can we write a program s.t.

• for any KB encoded in FOL• return YES if KB is consistent or NO if KB is inconsistent• in finite time

– Answer: NO– FOL is only semi-decidable

Computability(vs. Computational and

Implementational Complexity)

12Wednesday, 30 November 2011

Page 13: More language - University of Manchesterstudentnet.cs.manchester.ac.uk/pgt/2011/COMP60421/slides/week3-language.pdf– TBox, ABox, (RBox, DataBox) – Different logics have • Different

Decidability • A decidable problem:

– For any (finite) string S and (finite) regular expression R• answer YES if R matches S and NO if R does not match S

– (A*B|B*A)• “AAAAA”• “AAAAB”• “ABA”• “BA”• “”

• Why?– (Hint, regular expressions correspond to deterministic finite

state machines.)– (With some work!)– Linear time, constant space

Computability(vs. Computational and

Implementational Complexity)

13Wednesday, 30 November 2011

Page 14: More language - University of Manchesterstudentnet.cs.manchester.ac.uk/pgt/2011/COMP60421/slides/week3-language.pdf– TBox, ABox, (RBox, DataBox) – Different logics have • Different

Complexity• How much time (or space)?

– As a function of the input• Asymptotic complexity.

– Complexity of problem vs. of algorithm• How hard is the problem?• How efficient is the algorithm?• Consider SAT for FOL vs. PL

– Problem» SAT for FOL is semi-decidable (only)» SAT for PL is decidable!

– Algorithm» Can I use FOL to determine PL SAT?

– Complexity of an instance vs. of a class• Are all instances of FOL SAT undecidable?

– Does this make sense?• Are all (infinite) subsets of FOL SAT semi-decidable?

Computability(vs. Computational and

Implementational Complexity)

14Wednesday, 30 November 2011

Page 15: More language - University of Manchesterstudentnet.cs.manchester.ac.uk/pgt/2011/COMP60421/slides/week3-language.pdf– TBox, ABox, (RBox, DataBox) – Different logics have • Different

Complexity (function

Computability(vs. Computational and

Implementational Complexity)

15Wednesday, 30 November 2011

Page 16: More language - University of Manchesterstudentnet.cs.manchester.ac.uk/pgt/2011/COMP60421/slides/week3-language.pdf– TBox, ABox, (RBox, DataBox) – Different logics have • Different

Complexity (function

Computability(vs. Computational and

Implementational Complexity)

16Wednesday, 30 November 2011

Page 17: More language - University of Manchesterstudentnet.cs.manchester.ac.uk/pgt/2011/COMP60421/slides/week3-language.pdf– TBox, ABox, (RBox, DataBox) – Different logics have • Different

Complexity (function

Computability(vs. Computational and

Implementational Complexity)

17Wednesday, 30 November 2011

Page 18: More language - University of Manchesterstudentnet.cs.manchester.ac.uk/pgt/2011/COMP60421/slides/week3-language.pdf– TBox, ABox, (RBox, DataBox) – Different logics have • Different

Complexity of a problem class• Many “NO”s

– Within a problem class, instances vary in difficulty– Between two problem classes...

• Things get tricky!

• Worst case complexity– WCC is the most common measure

• Given a problem class P– what’s the complexity of the hardest problems in P

• Given an algorithm A for answering P– what’s the worst behavior we see for A

• Does WCC(P) = WCC(A)?• Must WWC(P) < WWC(A)?

– Why use such an A?

Computability(vs. Computational and

Implementational Complexity)

18Wednesday, 30 November 2011

Page 19: More language - University of Manchesterstudentnet.cs.manchester.ac.uk/pgt/2011/COMP60421/slides/week3-language.pdf– TBox, ABox, (RBox, DataBox) – Different logics have • Different

Paper!

19Wednesday, 30 November 2011

Page 20: More language - University of Manchesterstudentnet.cs.manchester.ac.uk/pgt/2011/COMP60421/slides/week3-language.pdf– TBox, ABox, (RBox, DataBox) – Different logics have • Different

Complexity of a problem class• WCC is often uninformative

– How often do you hit the worst case?• “on average”• “in practice”

– What’s the best case?

• Sometimes high WCC can be beneficial– From a complexity POV!?– Tends to correspond with higher expressivity

• Thus, terse encodings• Low complexity isn’t a win if you need to start with huge input

Computability(vs. Computational and

Implementational Complexity)

20Wednesday, 30 November 2011

Page 21: More language - University of Manchesterstudentnet.cs.manchester.ac.uk/pgt/2011/COMP60421/slides/week3-language.pdf– TBox, ABox, (RBox, DataBox) – Different logics have • Different

Some Logics

21Wednesday, 30 November 2011

Page 22: More language - University of Manchesterstudentnet.cs.manchester.ac.uk/pgt/2011/COMP60421/slides/week3-language.pdf– TBox, ABox, (RBox, DataBox) – Different logics have • Different

Names of Logics• Description logics

– A family of (generally) decidable (generally fragments of first order) logic[s]

– TBox, ABox, (RBox, DataBox)– Different logics have

• Different expressivity• Different cognitive complexity• Trade offs!

• TBox (historically) was the focus– So, DLs were characterized by their class expression language

• or class constructors

22Wednesday, 30 November 2011

Page 23: More language - University of Manchesterstudentnet.cs.manchester.ac.uk/pgt/2011/COMP60421/slides/week3-language.pdf– TBox, ABox, (RBox, DataBox) – Different logics have • Different

A Base Logic• Classically, we start with “AL”

– “Attribute logic”– This is the “concept” (class expression) language

Syntax DL name OWL name

A Atomic concept Class name/entity

⊤ Universal/top concept owl:Thing

⊥ Bottom concept owl:Nothing

¬A Atomic negation complementOf

⊓ intersection/conjunction

intersection

23Wednesday, 30 November 2011

Page 24: More language - University of Manchesterstudentnet.cs.manchester.ac.uk/pgt/2011/COMP60421/slides/week3-language.pdf– TBox, ABox, (RBox, DataBox) – Different logics have • Different

All about AL• Historical

– Logical reading of “frames”/semantic nets• Universal interpretation of “slots”• “Typing” reading

– “Smallest” “sensible” DL• FL is smaller :)

• Computational– Subsumption between concepts is polynomial, but...– ...gets much harder with (non-empty) TBoxes!

• Orthogonality– ...

• Usability– Low (universal is not the right choice, generally)

Cat

Animal

Meatis-aeats

Birdskills

Dogshates

is-ais-a is-a

24Wednesday, 30 November 2011

Page 25: More language - University of Manchesterstudentnet.cs.manchester.ac.uk/pgt/2011/COMP60421/slides/week3-language.pdf– TBox, ABox, (RBox, DataBox) – Different logics have • Different

AL on the Design Triangle?

Expressivity(Representational Adequacy)

Usability(Weak Cognitive Adequacy

vs.Cognitive Complexity)

Computability(vs. Computational and

Implementational Complexity)

25Wednesday, 30 November 2011

Page 26: More language - University of Manchesterstudentnet.cs.manchester.ac.uk/pgt/2011/COMP60421/slides/week3-language.pdf– TBox, ABox, (RBox, DataBox) – Different logics have • Different

A More Expressive Logic• ALC

– “Attribute logic with complement”; C and D are expressions– Contains propositional logic– What about AL + C?

Syntax DL name OWL name “Letter”A Atomic concept Class name/entityC ⊓ D Intersection/conjunction intersectionOf

C ⊔ D Union/disjunction unionOf U (ALU)

¬C Concept negation complementOf C (ALC)

∃P.C Existential Restriction someValuesFrom E (ALE)

∀P. C Universal Restriction allValuesFrom

26Wednesday, 30 November 2011

Page 27: More language - University of Manchesterstudentnet.cs.manchester.ac.uk/pgt/2011/COMP60421/slides/week3-language.pdf– TBox, ABox, (RBox, DataBox) – Different logics have • Different

CLICK

27Wednesday, 30 November 2011

Page 28: More language - University of Manchesterstudentnet.cs.manchester.ac.uk/pgt/2011/COMP60421/slides/week3-language.pdf– TBox, ABox, (RBox, DataBox) – Different logics have • Different

A More Expressive Logic• ALC

– Concept negation brings everything else– AL + C = ALC = ALUEC

Syntax AL + C translation

A A AL (when we add atomic negation and top)

C ⊓ D C ⊓ DAL (when we add atomic negation and top)∀P. C ∀P. C

AL (when we add atomic negation and top)

¬C ¬C C (ALC)C ⊔ D ¬(¬ C ⊓ ¬ D) U (ALU)

∃P.C ¬∀P.¬C E (ALE)

⊤ A ⊔ ¬A For some new “A”

⊥ A ⊓ ¬A

For some new “A”

28Wednesday, 30 November 2011

Page 29: More language - University of Manchesterstudentnet.cs.manchester.ac.uk/pgt/2011/COMP60421/slides/week3-language.pdf– TBox, ABox, (RBox, DataBox) – Different logics have • Different

All about ALC• Smallest propositionally closed DL

– “Boolean” DL– First “very expressive” DL

• Computational– Contains Propositional Logic so NP-Hard!

• PSpace-Complete for Concept Satisfiability– TBoxes can make it EXPTIME-Complete

• Orthogonality (we saw)• Usability

– Not terrible– Still missing a ton

• Can’t count• No transitivity

– Property language is weak overall!

29Wednesday, 30 November 2011

Page 30: More language - University of Manchesterstudentnet.cs.manchester.ac.uk/pgt/2011/COMP60421/slides/week3-language.pdf– TBox, ABox, (RBox, DataBox) – Different logics have • Different

ALC TBoxes• Two major kinds

– “Definitorial”• Every TBox axiom is an equivalence• Every TBox axiom has at least one atomic side• No cycles

– “General”• Any expression on either side• No other restrictions!

• Big jump in expressivity and complexity– ALC + Definitorial TBoxes is PSPACE-Complete

• No harder than concept satisfiability!– ALC + General TBoxes is EXPTIME-Complete

• Axiom shape matters a lot!– But “definitorial” is “neat”

30Wednesday, 30 November 2011

Page 31: More language - University of Manchesterstudentnet.cs.manchester.ac.uk/pgt/2011/COMP60421/slides/week3-language.pdf– TBox, ABox, (RBox, DataBox) – Different logics have • Different

Two Expressivities/Complexities• Constructors (concept expression language)

– AL vs. ALC– Not all new constructors = new expressive power

• ALUC vs. ALEC vs. ALEUC

• Axioms and axiom “shape”– Non-empty TBoxes– Definitorial

• Breaks the “everywhere there was a name, replace with an expression”• Irregular (but regularly so)

– General• More uniform, but computationally harder

• Interactions betwixt the two

31Wednesday, 30 November 2011

Page 32: More language - University of Manchesterstudentnet.cs.manchester.ac.uk/pgt/2011/COMP60421/slides/week3-language.pdf– TBox, ABox, (RBox, DataBox) – Different logics have • Different

A Simple Example

32Wednesday, 30 November 2011

Page 33: More language - University of Manchesterstudentnet.cs.manchester.ac.uk/pgt/2011/COMP60421/slides/week3-language.pdf– TBox, ABox, (RBox, DataBox) – Different logics have • Different

A Case of Disjointness• In ALC we can force two classes to be disjoint

– Tree SubClassOf: not Human– Contrast: Tree EquivalentTo: not Human

• Slight syntactic extension: DisjointWith:– Tree DisjointWith: Human– What’s the effect on expression, computation, and cognition?– Issue! Common to have sets of disjoint classes

• E.g., siblings (for covering)• Require ≈n2 disjointness axioms for n classes• Files dominated by disjointness axioms

– Hard to edit– Hard to read– Significant load time issues

Computability(vs. Computational and

Implementational Complexity)

33Wednesday, 30 November 2011

Page 34: More language - University of Manchesterstudentnet.cs.manchester.ac.uk/pgt/2011/COMP60421/slides/week3-language.pdf– TBox, ABox, (RBox, DataBox) – Different logics have • Different

Pairwise Disjointness• Sponge, Unicorn, Slug, Tree• Somewhat compact

– Sponge DisjointWith: Unicorn, Slug, Tree– Unicorn DisjointWith: Sponge, Slug, Tree– Slug DisjointWith: Sponge, Unicorn, Tree– Tree DisjointWith: Sponge, Slug, Unicorn,

• More compact (exploiting semantics):– Sponge DisjointWith: Unicorn, Slug, Tree– Unicorn DisjointWith: Slug, Tree– Slug DisjontWith: Tree

• Tradeoffs for expression/computation/cognition?– Do they differ in what they say?– In WWC? BCC? ACC?– Is one more usable?

34Wednesday, 30 November 2011

Page 35: More language - University of Manchesterstudentnet.cs.manchester.ac.uk/pgt/2011/COMP60421/slides/week3-language.pdf– TBox, ABox, (RBox, DataBox) – Different logics have • Different

N-ary Disjointness• Introduce an n-ary construct: DisjointClasses:• Very compact

– DisjointClasses: Sponge, Unicorn, Slug, Tree– Expression of size n for n classes

• Must take care in measuring size!

• Rather “DRY”– Where does it get more complicated?– Does it ever get more complicated than the alternatives?

• Tradeoffs for expression/computation/cognition?– Does this change expressivity?– Change WWC? BCC? ACC?

• What if we implement it by preprocessing into pairwise disjointness?• What does it do to the input?

– Is one more usable?

35Wednesday, 30 November 2011

Page 36: More language - University of Manchesterstudentnet.cs.manchester.ac.uk/pgt/2011/COMP60421/slides/week3-language.pdf– TBox, ABox, (RBox, DataBox) – Different logics have • Different

Lessons Learned• n-ary and pairwise disjointness

– Are polynomially interreducible• Thus no change in the asymptotic complexity classes• Can have large effect in practice

– (Potentially) Affect different parts of processing

• Big effect on cognition– But not 100% obvious – Size issues dominate

• But, also, repetition– Performance effects can be high (on cognitive issues)

• Waiting to download/load == wasted time for little gain– Workarounds helpful

• But built in support best

36Wednesday, 30 November 2011

Page 37: More language - University of Manchesterstudentnet.cs.manchester.ac.uk/pgt/2011/COMP60421/slides/week3-language.pdf– TBox, ABox, (RBox, DataBox) – Different logics have • Different

!"

!#"

!##"

!###"

!####"

!#####"

!######"

!#######"

!########"

!$%#&"

!$%!#"

!" '" (" )" *" +" ," -" &" !#" !!" !'" !(" !)" !*" !+" !," !-" !&" '#" '!" ''" '(" ')" '*" '+" '," '-" '&" (#"

./01"

234560708"9:3"

!"

!#"

!##"

!###"

!####"

!#####"

!######"

!#######"

!########"

!$%#&"

!$%!#"

!$%!!"

!" '" (" )" *" +"

,-."

/01234546"780"

37Wednesday, 30 November 2011

Page 38: More language - University of Manchesterstudentnet.cs.manchester.ac.uk/pgt/2011/COMP60421/slides/week3-language.pdf– TBox, ABox, (RBox, DataBox) – Different logics have • Different

A more complex example

38Wednesday, 30 November 2011

Page 39: More language - University of Manchesterstudentnet.cs.manchester.ac.uk/pgt/2011/COMP60421/slides/week3-language.pdf– TBox, ABox, (RBox, DataBox) – Different logics have • Different

Examples thus far• Propositional vs. FOL

– Inexpressive vs. very expressive– Decidable vs. semi-decidable

• vs. ALC– Expressivity: PL < ALC << FOL

• (The more expressive contains the less)

• ALC with and without– binary disjoint axioms– n-ary disjointness axioms

• Different extensions and restrictions– Additional constructors (e.g., min/max)– Additional axiom types (SubPropertyOf)– Patterns of use or axiom shape (“definitorial” axioms)– Semantic restrictions (named individuals)– Built-in functionality (datatypes)

39Wednesday, 30 November 2011

Page 40: More language - University of Manchesterstudentnet.cs.manchester.ac.uk/pgt/2011/COMP60421/slides/week3-language.pdf– TBox, ABox, (RBox, DataBox) – Different logics have • Different

Two new constructors: min & max• Consider:

– loves some Person– loves min 1 Person– loves max 1 Person– loves exactly 1 Person

• More elaborate:– loves min 3 Person– loves max 2 Person– (loves min 3 Person) and (loves max 2 Cat)– (loves min 3 Person) and (loves max 2 Person)

• ALCQ– ALC + min and max, the “counting quantifiers”– Expressivity ++– “The same” computational complexity (more implementation burden)– Cognitive complexity...

40Wednesday, 30 November 2011

Page 41: More language - University of Manchesterstudentnet.cs.manchester.ac.uk/pgt/2011/COMP60421/slides/week3-language.pdf– TBox, ABox, (RBox, DataBox) – Different logics have • Different

Complexity interlude• What is “having the same” complexity?

– Having exactly the same resource function?– Being “polynomially reducible”

• A problem P is polynomially reducible to problem Q iff– there is a function, f, s.t. for every instance of P, p– f(p) is in Q– |f(p)| is (at most) “polynomially bigger” than |p|

» I.e., |p| = some polynomial over |f(p)|

• Consider ALC with n-ary disjointness (“ALnC”)– f = for any KB in ALnC

• For each DisjointClasses: axiom• replace with ≈quadratic DisjointWith: axioms

– Thus, ALnC is polynomially reducible to ALC• Thus, we don’t have a fundamental change in complexity• Though we might have a notable change!

41Wednesday, 30 November 2011

Page 42: More language - University of Manchesterstudentnet.cs.manchester.ac.uk/pgt/2011/COMP60421/slides/week3-language.pdf– TBox, ABox, (RBox, DataBox) – Different logics have • Different

New Axiom Type: Transitivity• ALC + Transitive = S

– loves Characteristics: Transitive– knows Characteristics: Transitive

• Bijan knows Sean. Sean knows Claire. ==> Bijan knows Claire.– trusts Characteristics: Transitive– locatedIn Characteristics: Transitive– partOf Characteristics: Transitive

• These can be combined with quantifiers– knows some Person– knows some (knows some Person)

• We can add another axiom type– S + SubPropertyOf: = SH

• No worries!

42Wednesday, 30 November 2011

Page 43: More language - University of Manchesterstudentnet.cs.manchester.ac.uk/pgt/2011/COMP60421/slides/week3-language.pdf– TBox, ABox, (RBox, DataBox) – Different logics have • Different

Transitivity + Counting!• ALC + Transitive + min & max

– partOf Characteristics: Transitive– (partOf exactly 4 Finger) and (part of exactly 1 Thumb)– partOf exactly 2 Hands– We’d like to infer:

• (partOf exactly 8 Fingers) and (partOf exactly 2 Thumb)

• PROBLEM–ALC + Transitive + Counting = Semi-decidable

43Wednesday, 30 November 2011

Page 44: More language - University of Manchesterstudentnet.cs.manchester.ac.uk/pgt/2011/COMP60421/slides/week3-language.pdf– TBox, ABox, (RBox, DataBox) – Different logics have • Different

What to do?• Give up one or the other

– But both are very useful– Transitivity: Part-Of or Located-In!– Number Restrictions: 4 fingers and 1 thumb!

• Live with undecidability– ALCQ and SH are already EXPTIME Complete

• “Practically” undecidable?– What is the impact on implementation design?– What is the impact on user interaction?

• Find a middle ground– Can have transitive roles and counting in the same ontology

• But not intertwined• Can only count non-transitive, i.e., simple roles

– This is the choice that OWL (DL 1&2) made• Pattern of use restriction

44Wednesday, 30 November 2011

Page 45: More language - University of Manchesterstudentnet.cs.manchester.ac.uk/pgt/2011/COMP60421/slides/week3-language.pdf– TBox, ABox, (RBox, DataBox) – Different logics have • Different

The Restriction• Only simple roles in the scope of a number restriction

– P exactly 1 C– P exactly 1 C. P Characteristics: Transitive

• An ObjectProperty is simple iff it is not transitive and has no transitive subroles– P exactly 1 C. Q SubPropertyOf: P.– P exactly 1 C. Q SubPropertyOf: P Characteristics: Transitive

• No! Why subproperties?

• Fairly severe restriction!– Bijan hasPart exactly 2 Legs. – Legs SubClassOf hasPart exactly 1 Foot– Those feet can’t be (implied to be) part of me!

• And I can’t count them!

45Wednesday, 30 November 2011

Page 46: More language - University of Manchesterstudentnet.cs.manchester.ac.uk/pgt/2011/COMP60421/slides/week3-language.pdf– TBox, ABox, (RBox, DataBox) – Different logics have • Different

Cognitive Complexity• There are workarounds

– Two properties: hasPart and hasDirectPart– hasPart is transitive– Only count the latter– Manually propagate

• Burdens– We don’t get what we want

• Can’t count my thumbs!• We do get that my thumbs are part of me

– Workarounds distort the modelling– Workarounds for lacking either are generally worse– Not a “motivated” or regular restriction

• Combining two legal ontologies can yield an illegal one– Thus, not closed under union

46Wednesday, 30 November 2011

Page 47: More language - University of Manchesterstudentnet.cs.manchester.ac.uk/pgt/2011/COMP60421/slides/week3-language.pdf– TBox, ABox, (RBox, DataBox) – Different logics have • Different

Property Expressivity• Transitivity yields the logic S• Adding role hierarchies yields SH

• We can generalize this with role compositionProperty chains

FS ObjectPropertyChain(:hasFather :hasBrother )

MS hasFather o hasBrotherNL my father’s brother

FOL hasFather(x, y) ∧ hasBrother(y, z)DL

47Wednesday, 30 November 2011

Page 48: More language - University of Manchesterstudentnet.cs.manchester.ac.uk/pgt/2011/COMP60421/slides/week3-language.pdf– TBox, ABox, (RBox, DataBox) – Different logics have • Different

Constructors vs. Axiom Shape• We said that ALC is EXPTIME complete

– ...for certain kinds of TBox– Is PSPACE..

• The TBox should be definitorial– Approx: No General Concept Inclusion (GCIs) or cycles– (Preferably) only acyclic definitions, with one definition per name– GCI: C and D SubClassOf: E or F– Cyclic: A EquivalentTo: P some A

• A clean example–A EquivalentTo: P some B–B EquivalentTo: E or F–F EquivalentTo: P some not G

• Now A can be replaced everywhere with:– P some (E or (P some not G))

• “Macro expansion” or unfolding

• Care must be taken to avoid exponential blowup!48Wednesday, 30 November 2011

Page 49: More language - University of Manchesterstudentnet.cs.manchester.ac.uk/pgt/2011/COMP60421/slides/week3-language.pdf– TBox, ABox, (RBox, DataBox) – Different logics have • Different

General TBoxes• If we allow GCIs or cycles, things get harder

– Our axioms are no longer “local”– We can talk about every element in the domain– A lot of expressivity!– General ALC is “as complex” as SHIQ or SHOQ!

• Conversely, SH, even with axiom restrictions, is hard– We can encode general TBoxes as SH concepts

• Encode each axiom as a concept and form their conjunction, M– C SubClassOf: D as not C or D

» (C and D are complex and/or cyclic)–M EquivalentTo: (not C1 or D1) and (not C2 or D2)...

• Create a transitive superproperty of all properties, U• (M and (U only M)) captures the TBox!

49Wednesday, 30 November 2011

Page 50: More language - University of Manchesterstudentnet.cs.manchester.ac.uk/pgt/2011/COMP60421/slides/week3-language.pdf– TBox, ABox, (RBox, DataBox) – Different logics have • Different

Pointless Restrictions• If we add SubProperties and Transitivity to ALC

– There is no complexity advantage to non-general TBoxes• Though having to encode one’s GCIs as internalized concepts sucks• We pay the complexity price without getting (easy) expressivity

• If we allow multiple definitions for the same term– We get GCIs (via transitivity of equivalence)

•A EquivalentTo: P some D.•A EquivalentTo: Q some E.• Thus P some D EquivalentTo: Q some E.• Unioning definitorial ontologies is dangerous

– This bit OWL Lite hard!• Was supposed to be a “easy to implement, use, and learn” fragment• Equivalent to at least SHIF• Allowed multiple definitions (among other things) for easy merge• “Expressively Pointless” languages not well understood!

50Wednesday, 30 November 2011

Page 51: More language - University of Manchesterstudentnet.cs.manchester.ac.uk/pgt/2011/COMP60421/slides/week3-language.pdf– TBox, ABox, (RBox, DataBox) – Different logics have • Different

Pointless Restrictions?• While the extra expressivity is possible

– It’s not obvious– So maybe people won’t use it

• Lack of affordances– Maybe the ontologies they write will be “easier”

• Consider– All EXPTIME complete logics are polynominally interreducible

• That’s what it is to be EXPTIME complete– So they all have “the same” expressivity

• But general ALC is a much more cramped logic than SHIQ• General ALC is much easier to implement (at first blush)

– How critical is language coverage?• That is, having a sound and complete procedure?

51Wednesday, 30 November 2011

Page 52: More language - University of Manchesterstudentnet.cs.manchester.ac.uk/pgt/2011/COMP60421/slides/week3-language.pdf– TBox, ABox, (RBox, DataBox) – Different logics have • Different

Definition Oriented Development

Define define

52Wednesday, 30 November 2011

Page 53: More language - University of Manchesterstudentnet.cs.manchester.ac.uk/pgt/2011/COMP60421/slides/week3-language.pdf– TBox, ABox, (RBox, DataBox) – Different logics have • Different

The Simple Development Cycle

has knowledge

Conceptualize

∃P.C ⊑ ∀P.DA⊓B ⊑ ∀P.D∃P(A⊔B)⊑¬D

has Knowledge

Formalize

Verbalize

53Wednesday, 30 November 2011

Page 54: More language - University of Manchesterstudentnet.cs.manchester.ac.uk/pgt/2011/COMP60421/slides/week3-language.pdf– TBox, ABox, (RBox, DataBox) – Different logics have • Different

The Simple Development Cycle

has knowledge

Conceptualize

∃P.C ⊑ ∀P.DA⊓B ⊑ ∀P.D∃P(A⊔B)⊑¬D

has Knowledge

Formali

ze

Communicate

54Wednesday, 30 November 2011

Page 55: More language - University of Manchesterstudentnet.cs.manchester.ac.uk/pgt/2011/COMP60421/slides/week3-language.pdf– TBox, ABox, (RBox, DataBox) – Different logics have • Different

Formali

ze

The Simple Development Cycle

has knowledge

Conceptualize

∃P.C ⊑ ∀P.DA⊓B ⊑ ∀P.D∃P(A⊔B)⊑¬D

has KnowledgeCommunicate

Inference

55Wednesday, 30 November 2011

Page 56: More language - University of Manchesterstudentnet.cs.manchester.ac.uk/pgt/2011/COMP60421/slides/week3-language.pdf– TBox, ABox, (RBox, DataBox) – Different logics have • Different

Definition Oriented Development• “Reduce” (certain kinds of) effort

– Local focus on what terms mean

• Verification– There are consequences to what we say– We can spot wrong links

• Work on our part to detect problems• But inferred links are a subset of all links

– The reasoner can tell us about broken definitions• We still need to understand them!

• Improve interaction– The KR becomes “reactive”

• Comes at a computational cost!

56Wednesday, 30 November 2011

Page 57: More language - University of Manchesterstudentnet.cs.manchester.ac.uk/pgt/2011/COMP60421/slides/week3-language.pdf– TBox, ABox, (RBox, DataBox) – Different logics have • Different

Reduce which effort?• Target: Hierarchical controlled vocabularies

– Aka taxonomies

• Without (logically encoded) definitions– We must formulate the definitions– We must put terms “in their proper place”– We must assert every non-trivial “link”– We must check that these are the right links

• Thus we must determine what all the right links are• We must also verify that the links we include are right

• How much work?– 100 terms ≈ 10,000 (1002) possible subsumptions!

• Plus 100 definitions• Link checking isn’t enough — paths!

– Depth adds complexity– Multiple inheritance adds significant complexity

Mediatedby humans!

57Wednesday, 30 November 2011

Page 58: More language - University of Manchesterstudentnet.cs.manchester.ac.uk/pgt/2011/COMP60421/slides/week3-language.pdf– TBox, ABox, (RBox, DataBox) – Different logics have • Different

Types of Bicycle injury•1972 ICD-9 (E826) 8 •READ-2 (T30..) 81•READ-3 87•1999 ICD-10 ……

http://www.cs.man.ac.uk/~rector/presentations/Reasoning-web-rector-GALEN-2006.ppt58Wednesday, 30 November 2011

Page 59: More language - University of Manchesterstudentnet.cs.manchester.ac.uk/pgt/2011/COMP60421/slides/week3-language.pdf– TBox, ABox, (RBox, DataBox) – Different logics have • Different

topClassI Certain infectious and parasitic diseasesII NeoplasmsIII Diseases of the blood and blood-forming organs and certain disorders involving the immune mechanismIV Endocrine, nutritional and metabolic diseasesV Mental and behavioural disordersVI Diseases of the nervous systemVII Diseases of the eye and adnexaVIII Diseases of the ear and mastoid processIX Diseases of the circulatory systemsX Diseases of the respiratory systemXI Diseases of the digestive systemXII Diseases of the skin and subcutaneous tissueXIII Diseases of the musculoskeletal system and connective tissueXIV Diseases of the genitourinary systemXV Pregnancy, childbirth and the puerperiumXVI Certain conditions originating in the perinatal periodXVII Congenital malformations, deformations and chromosomal abnormalitiesXVIII Symptoms, signs and abnormal clinical and laboratory findings, not elsewhere classifiedXIX Injury, poisoning and certain other consequences of external causesXX External causes of morbidity and mortality

V01-V99 Transport accidentsV01-V09 Pedestrian injured in transport accidentV10-V19 Pedal cyclist injured in transport accident

V10 Pedal cyclist injured in collision with pedestrian or animalV10.0 Pedal cyclist injured in collision with pedestrian or animal, driver, nontraffic accident

V10.00 Pedal cyclist injured in collision with pedestrian or animal, driver, nontraffic accident, while engaged in sports activityV10.01 Pedal cyclist injured in collision with pedestrian or animal, driver, nontraffic accident, while engaged in leisure activityV10.02 Pedal cyclist injured in collision with pedestrian or animal, driver, nontraffic accident, while working for an incomeV10.03 Pedal cyclist injured in collision with pedestrian or animal, driver, nontraffic accident, while engaged in other types of workV10.04 Pedal cyclist injured in collision with pedestrian or animal, driver, nontraffic accident, while resting, sleeping, eating or engaging in other vital activitiesV10.08 Pedal cyclist injured in collision with pedestrian or animal, driver, nontraffic accident, while engaged in other specified activitiesV10.09 Pedal cyclist injured in collision with pedestrian or animal, driver, nontraffic accident, during unspecified activity

V10.1 Pedal cyclist injured in collision with pedestrian or animal, passenger, nontraffic accidentV10.10 Pedal cyclist injured in collision with pedestrian or animal, passenger, nontraffic accident, while engaged in sports activityV10.11 Pedal cyclist injured in collision with pedestrian or animal, passenger, nontraffic accident, while engaged in leisure activityV10.12 Pedal cyclist injured in collision with pedestrian or animal, passenger, nontraffic accident, while working for an incomeV10.13 Pedal cyclist injured in collision with pedestrian or animal, passenger, nontraffic accident, while engaged in other types of workV10.14 Pedal cyclist injured in collision with pedestrian or animal, passenger, nontraffic accident, while resting, sleeping, eating or engaging in other vital activitiesV10.18 Pedal cyclist injured in collision with pedestrian or animal, passenger, nontraffic accident, while engaged in other specified activitiesV10.19 Pedal cyclist injured in collision with pedestrian or animal, passenger, nontraffic accident, during unspecified activity

V10.2 Pedal cyclist injured in collision with pedestrian or animal, unspecified pedal cyclist, nontraffic accidentV10.20 Pedal cyclist injured in collision with pedestrian or animal, unspecified pedal cyclist, nontraffic accident, while engaged in sports activityV10.21 Pedal cyclist injured in collision with pedestrian or animal, unspecified pedal cyclist, nontraffic accident, while engaged in leisure activityV10.22 Pedal cyclist injured in collision with pedestrian or animal, unspecified pedal cyclist, nontraffic accident, while working for an incomeV10.23 Pedal cyclist injured in collision with pedestrian or animal, unspecified pedal cyclist, nontraffic accident, while engaged in other types of workV10.24 Pedal cyclist injured in collision with pedestrian or animal, unspecified pedal cyclist, nontraffic accident, while resting, sleeping, eating or engaging in other vital activitiesV10.28 Pedal cyclist injured in collision with pedestrian or animal, unspecified pedal cyclist, nontraffic accident, while engaged in other specified activitiesV10.29 Pedal cyclist injured in collision with pedestrian or animal, unspecified pedal cyclist, nontraffic accident, during unspecified activity

V10.3 Pedal cyclist injured in collision with pedestrian or animal, while boarding or alightingV10.30 Pedal cyclist injured in collision with pedestrian or animal, while boarding or alighting, while engaged in sports activityV10.31 Pedal cyclist injured in collision with pedestrian or animal, while boarding or alighting, while engaged in leisure activityV10.32 Pedal cyclist injured in collision with pedestrian or animal, while boarding or alighting, while working for an incomeV10.33 Pedal cyclist injured in collision with pedestrian or animal, while boarding or alighting, while engaged in other types of workV10.34 Pedal cyclist injured in collision with pedestrian or animal, while boarding or alighting, while resting, sleeping, eating or engaging in other vital activitiesV10.38 Pedal cyclist injured in collision with pedestrian or animal, while boarding or alighting, while engaged in other specified activitiesV10.39 Pedal cyclist injured in collision with pedestrian or animal, while boarding or alighting, during unspecified activity

V10.4 Pedal cyclist injured in collision with pedestrian or animal, driver, traffic accidentV10.40 Pedal cyclist injured in collision with pedestrian or animal, driver, traffic accident, while engaged in sports activityV10.41 Pedal cyclist injured in collision with pedestrian or animal, driver, traffic accident, while engaged in leisure activityV10.42 Pedal cyclist injured in collision with pedestrian or animal, driver, traffic accident, while working for an incomeV10.43 Pedal cyclist injured in collision with pedestrian or animal, driver, traffic accident, while engaged in other types of workV10.44 Pedal cyclist injured in collision with pedestrian or animal, driver, traffic accident, while resting, sleeping, eating or engaging in other vital activitiesV10.48 Pedal cyclist injured in collision with pedestrian or animal, driver, traffic accident, while engaged in other specified activitiesV10.49 Pedal cyclist injured in collision with pedestrian or animal, driver, traffic accident, during unspecified activity

V10.5 Pedal cyclist injured in collision with pedestrian or animal, passenger, traffic accidentV10.50 Pedal cyclist injured in collision with pedestrian or animal, passenger, traffic accident, while engaged in sports activityV10.51 Pedal cyclist injured in collision with pedestrian or animal, passenger, traffic accident, while engaged in leisure activityV10.52 Pedal cyclist injured in collision with pedestrian or animal, passenger, traffic accident, while working for an incomeV10.53 Pedal cyclist injured in collision with pedestrian or animal, passenger, traffic accident, while engaged in other types of workV10.54 Pedal cyclist injured in collision with pedestrian or animal, passenger, traffic accident, while resting, sleeping, eating or engaging in other vital activitiesV10.58 Pedal cyclist injured in collision with pedestrian or animal, passenger, traffic accident, while engaged in other specified activitiesV10.59 Pedal cyclist injured in collision with pedestrian or animal, passenger, traffic accident, during unspecified activity

V10.9 Pedal cyclist injured in collision with pedestrian or animal, unspecified pedal cyclist, traffic accidentV10.90 Pedal cyclist injured in collision with pedestrian or animal, unspecified pedal cyclist, traffic accident, while engaged in sports activityV10.91 Pedal cyclist injured in collision with pedestrian or animal, unspecified pedal cyclist, traffic accident, while engaged in leisure activityV10.92 Pedal cyclist injured in collision with pedestrian or animal, unspecified pedal cyclist, traffic accident, while working for an incomeV10.93 Pedal cyclist injured in collision with pedestrian or animal, unspecified pedal cyclist, traffic accident, while engaged in other types of workV10.94 Pedal cyclist injured in collision with pedestrian or animal, unspecified pedal cyclist, traffic accident, while resting, sleeping, eating or engaging in other vital activitiesV10.98 Pedal cyclist injured in collision with pedestrian or animal, unspecified pedal cyclist, traffic accident, while engaged in other specified activitiesV10.99 Pedal cyclist injured in collision with pedestrian or animal, unspecified pedal cyclist, traffic accident, during unspecified activity

V11 Pedal cyclist injured in collision with other pedal cycleV11.0 Pedal cyclist injured in collision with other pedal cycle, driver, nontraffic accident

V11.00 Pedal cyclist injured in collision with other pedal cycle, driver, nontraffic accident, while engaged in sports activityV11.01 Pedal cyclist injured in collision with other pedal cycle, driver, nontraffic accident, while engaged in leisure activityV11.02 Pedal cyclist injured in collision with other pedal cycle, driver, nontraffic accident, while working for an incomeV11.03 Pedal cyclist injured in collision with other pedal cycle, driver, nontraffic accident, while engaged in other types of workV11.04 Pedal cyclist injured in collision with other pedal cycle, driver, nontraffic accident, while resting, sleeping, eating or engaging in other vital activitiesV11.08 Pedal cyclist injured in collision with other pedal cycle, driver, nontraffic accident, while engaged in other specified activitiesV11.09 Pedal cyclist injured in collision with other pedal cycle, driver, nontraffic accident, during unspecified activity

V11.1 Pedal cyclist injured in collision with other pedal cycle, passenger, nontraffic accidentV11.10 Pedal cyclist injured in collision with other pedal cycle, passenger, nontraffic accident, while engaged in sports activityV11.11 Pedal cyclist injured in collision with other pedal cycle, passenger, nontraffic accident, while engaged in leisure activityV11.12 Pedal cyclist injured in collision with other pedal cycle, passenger, nontraffic accident, while working for an incomeV11.13 Pedal cyclist injured in collision with other pedal cycle, passenger, nontraffic accident, while engaged in other types of workV11.14 Pedal cyclist injured in collision with other pedal cycle, passenger, nontraffic accident, while resting, sleeping, eating or engaging in other vital activitiesV11.18 Pedal cyclist injured in collision with other pedal cycle, passenger, nontraffic accident, while engaged in other specified activitiesV11.19 Pedal cyclist injured in collision with other pedal cycle, passenger, nontraffic accident, during unspecified activity

V11.2 Pedal cyclist injured in collision with other pedal cycle, unspecified pedal cyclist, nontraffic accidentV11.20 Pedal cyclist injured in collision with other pedal cycle, unspecified pedal cyclist, nontraffic accident, while engaged in sports activityV11.21 Pedal cyclist injured in collision with other pedal cycle, unspecified pedal cyclist, nontraffic accident, while engaged in leisure activityV11.22 Pedal cyclist injured in collision with other pedal cycle, unspecified pedal cyclist, nontraffic accident, while working for an incomeV11.23 Pedal cyclist injured in collision with other pedal cycle, unspecified pedal cyclist, nontraffic accident, while engaged in other types of workV11.24 Pedal cyclist injured in collision with other pedal cycle, unspecified pedal cyclist, nontraffic accident, while resting, sleeping, eating or engaging in other vital activitiesV11.28 Pedal cyclist injured in collision with other pedal cycle, unspecified pedal cyclist, nontraffic accident, while engaged in other specified activitiesV11.29 Pedal cyclist injured in collision with other pedal cycle, unspecified pedal cyclist, nontraffic accident, during unspecified activity

V11.3 Pedal cyclist injured in collision with other pedal cycle, while boarding or alightingV11.30 Pedal cyclist injured in collision with other pedal cycle, while boarding or alighting, while engaged in sports activityV11.31 Pedal cyclist injured in collision with other pedal cycle, while boarding or alighting, while engaged in leisure activityV11.32 Pedal cyclist injured in collision with other pedal cycle, while boarding or alighting, while working for an incomeV11.33 Pedal cyclist injured in collision with other pedal cycle, while boarding or alighting, while engaged in other types of workV11.34 Pedal cyclist injured in collision with other pedal cycle, while boarding or alighting, while resting, sleeping, eating or engaging in other vital activitiesV11.38 Pedal cyclist injured in collision with other pedal cycle, while boarding or alighting, while engaged in other specified activitiesV11.39 Pedal cyclist injured in collision with other pedal cycle, while boarding or alighting, during unspecified activity

V11.4 Pedal cyclist injured in collision with other pedal cycle, driver, traffic accidentV11.40 Pedal cyclist injured in collision with other pedal cycle, driver, traffic accident, while engaged in sports activityV11.41 Pedal cyclist injured in collision with other pedal cycle, driver, traffic accident, while engaged in leisure activityV11.42 Pedal cyclist injured in collision with other pedal cycle, driver, traffic accident, while working for an incomeV11.43 Pedal cyclist injured in collision with other pedal cycle, driver, traffic accident, while engaged in other types of workV11.44 Pedal cyclist injured in collision with other pedal cycle, driver, traffic accident, while resting, sleeping, eating or engaging in other vital activitiesV11.48 Pedal cyclist injured in collision with other pedal cycle, driver, traffic accident, while engaged in other specified activitiesV11.49 Pedal cyclist injured in collision with other pedal cycle, driver, traffic accident, during unspecified activity

V11.5 Pedal cyclist injured in collision with other pedal cycle, passenger, traffic accidentV11.50 Pedal cyclist injured in collision with other pedal cycle, passenger, traffic accident, while engaged in sports activityV11.51 Pedal cyclist injured in collision with other pedal cycle, passenger, traffic accident, while engaged in leisure activityV11.52 Pedal cyclist injured in collision with other pedal cycle, passenger, traffic accident, while working for an incomeV11.53 Pedal cyclist injured in collision with other pedal cycle, passenger, traffic accident, while engaged in other types of workV11.54 Pedal cyclist injured in collision with other pedal cycle, passenger, traffic accident, while resting, sleeping, eating or engaging in other vital activitiesV11.58 Pedal cyclist injured in collision with other pedal cycle, passenger, traffic accident, while engaged in other specified activitiesV11.59 Pedal cyclist injured in collision with other pedal cycle, passenger, traffic accident, during unspecified activity

V11.9 Pedal cyclist injured in collision with other pedal cycle, unspecified pedal cyclist, traffic accidentV11.90 Pedal cyclist injured in collision with other pedal cycle, unspecified pedal cyclist, traffic accident, while engaged in sports activityV11.91 Pedal cyclist injured in collision with other pedal cycle, unspecified pedal cyclist, traffic accident, while engaged in leisure activityV11.92 Pedal cyclist injured in collision with other pedal cycle, unspecified pedal cyclist, traffic accident, while working for an incomeV11.93 Pedal cyclist injured in collision with other pedal cycle, unspecified pedal cyclist, traffic accident, while engaged in other types of workV11.94 Pedal cyclist injured in collision with other pedal cycle, unspecified pedal cyclist, traffic accident, while resting, sleeping, eating or engaging in other vital activitiesV11.98 Pedal cyclist injured in collision with other pedal cycle, unspecified pedal cyclist, traffic accident, while engaged in other specified activitiesV11.99 Pedal cyclist injured in collision with other pedal cycle, unspecified pedal cyclist, traffic accident, during unspecified activity

V12 Pedal cyclist injured in collision with two- or three-wheeled motor vehicleV12.0 Pedal cyclist injured in collision with two- or three-wheeled motor vehicle, driver, nontraffic accident

V12.00 Pedal cyclist injured in collision with two- or three-wheeled motor vehicle, driver, nontraffic accident, while engaged in sports activityV12.01 Pedal cyclist injured in collision with two- or three-wheeled motor vehicle, driver, nontraffic accident, while engaged in leisure activityV12.02 Pedal cyclist injured in collision with two- or three-wheeled motor vehicle, driver, nontraffic accident, while working for an incomeV12.03 Pedal cyclist injured in collision with two- or three-wheeled motor vehicle, driver, nontraffic accident, while engaged in other types of workV12.04 Pedal cyclist injured in collision with two- or three-wheeled motor vehicle, driver, nontraffic accident, while resting, sleeping, eating or engaging in other vital activitiesV12.08 Pedal cyclist injured in collision with two- or three-wheeled motor vehicle, driver, nontraffic accident, while engaged in other specified activitiesV12.09 Pedal cyclist injured in collision with two- or three-wheeled motor vehicle, driver, nontraffic accident, during unspecified activity

V12.1 Pedal cyclist injured in collision with two- or three-wheeled motor vehicle, passenger, nontraffic accidentV12.10 Pedal cyclist injured in collision with two- or three-wheeled motor vehicle, passenger, nontraffic accident, while engaged in sports activityV12.11 Pedal cyclist injured in collision with two- or three-wheeled motor vehicle, passenger, nontraffic accident, while engaged in leisure activityV12.12 Pedal cyclist injured in collision with two- or three-wheeled motor vehicle, passenger, nontraffic accident, while working for an incomeV12.13 Pedal cyclist injured in collision with two- or three-wheeled motor vehicle, passenger, nontraffic accident, while engaged in other types of workV12.14 Pedal cyclist injured in collision with two- or three-wheeled motor vehicle, passenger, nontraffic accident, while resting, sleeping, eating or engaging in other vital activitiesV12.18 Pedal cyclist injured in collision with two- or three-wheeled motor vehicle, passenger, nontraffic accident, while engaged in other specified activitiesV12.19 Pedal cyclist injured in collision with two- or three-wheeled motor vehicle, passenger, nontraffic accident, during unspecified activity

V12.2 Pedal cyclist injured in collision with two- or three-wheeled motor vehicle, unspecified pedal cyclist, nontraffic accidentV12.20 Pedal cyclist injured in collision with two- or three-wheeled motor vehicle, unspecified pedal cyclist, nontraffic accident, while engaged in sports activityV12.21 Pedal cyclist injured in collision with two- or three-wheeled motor vehicle, unspecified pedal cyclist, nontraffic accident, while engaged in leisure activityV12.22 Pedal cyclist injured in collision with two- or three-wheeled motor vehicle, unspecified pedal cyclist, nontraffic accident, while working for an incomeV12.23 Pedal cyclist injured in collision with two- or three-wheeled motor vehicle, unspecified pedal cyclist, nontraffic accident, while engaged in other types of workV12.24 Pedal cyclist injured in collision with two- or three-wheeled motor vehicle, unspecified pedal cyclist, nontraffic accident, while resting, sleeping, eating or engaging in other vital activitiesV12.28 Pedal cyclist injured in collision with two- or three-wheeled motor vehicle, unspecified pedal cyclist, nontraffic accident, while engaged in other specified activitiesV12.29 Pedal cyclist injured in collision with two- or three-wheeled motor vehicle, unspecified pedal cyclist, nontraffic accident, during unspecified activity

V12.3 Pedal cyclist injured in collision with two- or three-wheeled motor vehicle, while boarding or alighting

V12.30 Pedal cyclist injured in collision with two- or three-wheeled motor vehicle, while boarding or alighting, while engaged in sports activity

V12.31 Pedal cyclist injured in collision with two- or three-wheeled motor vehicle, while boarding or alighting, while engaged in leisure activity

V12.32 Pedal cyclist injured in collision with two- or three-wheeled motor vehicle, while boarding or alighting, while working for an income

V12.33 Pedal cyclist injured in collision with two- or three-wheeled motor vehicle, while boarding or alighting, while engaged in other types of work

V12.34 Pedal cyclist injured in collision with two- or three-wheeled motor vehicle, while boarding or alighting, while resting, sleeping, eating or engaging in other vital activities

V12.38 Pedal cyclist injured in collision with two- or three-wheeled motor vehicle, while boarding or alighting, while engaged in other specified activities

V12.39 Pedal cyclist injured in collision with two- or three-wheeled motor vehicle, while boarding or alighting, during unspecified activity

V12.4 Pedal cyclist injured in collision with two- or three-wheeled motor vehicle, driver, traffic accident

V12.40 Pedal cyclist injured in collision with two- or three-wheeled motor vehicle, driver, traffic accident, while engaged in sports activity

V12.41 Pedal cyclist injured in collision with two- or three-wheeled motor vehicle, driver, traffic accident, while engaged in leisure activity

V12.42 Pedal cyclist injured in collision with two- or three-wheeled motor vehicle, driver, traffic accident, while working for an income

V12.43 Pedal cyclist injured in collision with two- or three-wheeled motor vehicle, driver, traffic accident, while engaged in other types of work

V12.44 Pedal cyclist injured in collision with two- or three-wheeled motor vehicle, driver, traffic accident, while resting, sleeping, eating or engaging in other vital activities

V12.48 Pedal cyclist injured in collision with two- or three-wheeled motor vehicle, driver, traffic accident, while engaged in other specified activities

V12.49 Pedal cyclist injured in collision with two- or three-wheeled motor vehicle, driver, traffic accident, during unspecified activity

V12.5 Pedal cyclist injured in collision with two- or three-wheeled motor vehicle, passenger, traffic accident

V12.50 Pedal cyclist injured in collision with two- or three-wheeled motor vehicle, passenger, traffic accident, while engaged in sports activity

V12.51 Pedal cyclist injured in collision with two- or three-wheeled motor vehicle, passenger, traffic accident, while engaged in leisure activity

V12.52 Pedal cyclist injured in collision with two- or three-wheeled motor vehicle, passenger, traffic accident, while working for an income

V12.53 Pedal cyclist injured in collision with two- or three-wheeled motor vehicle, passenger, traffic accident, while engaged in other types of work

V12.54 Pedal cyclist injured in collision with two- or three-wheeled motor vehicle, passenger, traffic accident, while resting, sleeping, eating or engaging in other vital activities

V12.58 Pedal cyclist injured in collision with two- or three-wheeled motor vehicle, passenger, traffic accident, while engaged in other specified activities

V12.59 Pedal cyclist injured in collision with two- or three-wheeled motor vehicle, passenger, traffic accident, during unspecified activity

V12.9 Pedal cyclist injured in collision with two- or three-wheeled motor vehicle, unspecified pedal cyclist, traffic accident

V12.90 Pedal cyclist injured in collision with two- or three-wheeled motor vehicle, unspecified pedal cyclist, traffic accident, while engaged in sports activity

V12.91 Pedal cyclist injured in collision with two- or three-wheeled motor vehicle, unspecified pedal cyclist, traffic accident, while engaged in leisure activity

V12.92 Pedal cyclist injured in collision with two- or three-wheeled motor vehicle, unspecified pedal cyclist, traffic accident, while working for an income

V12.93 Pedal cyclist injured in collision with two- or three-wheeled motor vehicle, unspecified pedal cyclist, traffic accident, while engaged in other types of work

V12.94 Pedal cyclist injured in collision with two- or three-wheeled motor vehicle, unspecified pedal cyclist, traffic accident, while resting, sleeping, eating or engaging in other vital activities

V12.98 Pedal cyclist injured in collision with two- or three-wheeled motor vehicle, unspecified pedal cyclist, traffic accident, while engaged in other specified activities

V12.99 Pedal cyclist injured in collision with two- or three-wheeled motor vehicle, unspecified pedal cyclist, traffic accident, during unspecified activity

V13 Pedal cyclist injured in collision with car, pick-up truck or van

V13.0 Pedal cyclist injured in collision with car, pick-up truck or van, driver, nontraffic accident

V13.00 Pedal cyclist injured in collision with car, pick-up truck or van, driver, nontraffic accident, while engaged in sports activity

V13.01 Pedal cyclist injured in collision with car, pick-up truck or van, driver, nontraffic accident, while engaged in leisure activity

V13.02 Pedal cyclist injured in collision with car, pick-up truck or van, driver, nontraffic accident, while working for an income

V13.03 Pedal cyclist injured in collision with car, pick-up truck or van, driver, nontraffic accident, while engaged in other types of work

V13.04 Pedal cyclist injured in collision with car, pick-up truck or van, driver, nontraffic accident, while resting, sleeping, eating or engaging in other vital activities

V13.08 Pedal cyclist injured in collision with car, pick-up truck or van, driver, nontraffic accident, while engaged in other specified activities

V13.09 Pedal cyclist injured in collision with car, pick-up truck or van, driver, nontraffic accident, during unspecified activity

V13.1 Pedal cyclist injured in collision with car, pick-up truck or van, passenger, nontraffic accident

V13.10 Pedal cyclist injured in collision with car, pick-up truck or van, passenger, nontraffic accident, while engaged in sports activity

V13.11 Pedal cyclist injured in collision with car, pick-up truck or van, passenger, nontraffic accident, while engaged in leisure activity

V13.12 Pedal cyclist injured in collision with car, pick-up truck or van, passenger, nontraffic accident, while working for an income

V13.13 Pedal cyclist injured in collision with car, pick-up truck or van, passenger, nontraffic accident, while engaged in other types of work

V13.14 Pedal cyclist injured in collision with car, pick-up truck or van, passenger, nontraffic accident, while resting, sleeping, eating or engaging in other vital activities

V13.18 Pedal cyclist injured in collision with car, pick-up truck or van, passenger, nontraffic accident, while engaged in other specified activities

V13.19 Pedal cyclist injured in collision with car, pick-up truck or van, passenger, nontraffic accident, during unspecified activity

V13.2 Pedal cyclist injured in collision with car, pick-up truck or van, unspecified pedal cyclist, nontraffic accident

V13.20 Pedal cyclist injured in collision with car, pick-up truck or van, unspecified pedal cyclist, nontraffic accident, while engaged in sports activity

V13.21 Pedal cyclist injured in collision with car, pick-up truck or van, unspecified pedal cyclist, nontraffic accident, while engaged in leisure activity

V13.22 Pedal cyclist injured in collision with car, pick-up truck or van, unspecified pedal cyclist, nontraffic accident, while working for an income

V13.23 Pedal cyclist injured in collision with car, pick-up truck or van, unspecified pedal cyclist, nontraffic accident, while engaged in other types of work

V13.24 Pedal cyclist injured in collision with car, pick-up truck or van, unspecified pedal cyclist, nontraffic accident, while resting, sleeping, eating or engaging in other vital activities

V13.28 Pedal cyclist injured in collision with car, pick-up truck or van, unspecified pedal cyclist, nontraffic accident, while engaged in other specified activities

V13.29 Pedal cyclist injured in collision with car, pick-up truck or van, unspecified pedal cyclist, nontraffic accident, during unspecified activity

V13.3 Pedal cyclist injured in collision with car, pick-up truck or van, while boarding or alighting

V13.30 Pedal cyclist injured in collision with car, pick-up truck or van, while boarding or alighting, while engaged in sports activity

V13.31 Pedal cyclist injured in collision with car, pick-up truck or van, while boarding or alighting, while engaged in leisure activity

V13.32 Pedal cyclist injured in collision with car, pick-up truck or van, while boarding or alighting, while working for an income

V13.33 Pedal cyclist injured in collision with car, pick-up truck or van, while boarding or alighting, while engaged in other types of work

V13.34 Pedal cyclist injured in collision with car, pick-up truck or van, while boarding or alighting, while resting, sleeping, eating or engaging in other vital activities

V13.38 Pedal cyclist injured in collision with car, pick-up truck or van, while boarding or alighting, while engaged in other specified activities

V13.39 Pedal cyclist injured in collision with car, pick-up truck or van, while boarding or alighting, during unspecified activity

V13.4 Pedal cyclist injured in collision with car, pick-up truck or van, driver, traffic accident

V13.40 Pedal cyclist injured in collision with car, pick-up truck or van, driver, traffic accident, while engaged in sports activity

V13.41 Pedal cyclist injured in collision with car, pick-up truck or van, driver, traffic accident, while engaged in leisure activity

V13.42 Pedal cyclist injured in collision with car, pick-up truck or van, driver, traffic accident, while working for an income

V13.43 Pedal cyclist injured in collision with car, pick-up truck or van, driver, traffic accident, while engaged in other types of work

V13.44 Pedal cyclist injured in collision with car, pick-up truck or van, driver, traffic accident, while resting, sleeping, eating or engaging in other vital activities

V13.48 Pedal cyclist injured in collision with car, pick-up truck or van, driver, traffic accident, while engaged in other specified activities

V13.49 Pedal cyclist injured in collision with car, pick-up truck or van, driver, traffic accident, during unspecified activity

V13.5 Pedal cyclist injured in collision with car, pick-up truck or van, passenger, traffic accident

V13.50 Pedal cyclist injured in collision with car, pick-up truck or van, passenger, traffic accident, while engaged in sports activity

V13.51 Pedal cyclist injured in collision with car, pick-up truck or van, passenger, traffic accident, while engaged in leisure activity

V13.52 Pedal cyclist injured in collision with car, pick-up truck or van, passenger, traffic accident, while working for an income

V13.53 Pedal cyclist injured in collision with car, pick-up truck or van, passenger, traffic accident, while engaged in other types of work

V13.54 Pedal cyclist injured in collision with car, pick-up truck or van, passenger, traffic accident, while resting, sleeping, eating or engaging in other vital activities

V13.58 Pedal cyclist injured in collision with car, pick-up truck or van, passenger, traffic accident, while engaged in other specified activities

V13.59 Pedal cyclist injured in collision with car, pick-up truck or van, passenger, traffic accident, during unspecified activity

V13.9 Pedal cyclist injured in collision with car, pick-up truck or van, unspecified pedal cyclist, traffic accident

V13.90 Pedal cyclist injured in collision with car, pick-up truck or van, unspecified pedal cyclist, traffic accident, while engaged in sports activity

V13.91 Pedal cyclist injured in collision with car, pick-up truck or van, unspecified pedal cyclist, traffic accident, while engaged in leisure activity

V13.92 Pedal cyclist injured in collision with car, pick-up truck or van, unspecified pedal cyclist, traffic accident, while working for an income

V13.93 Pedal cyclist injured in collision with car, pick-up truck or van, unspecified pedal cyclist, traffic accident, while engaged in other types of work

V13.94 Pedal cyclist injured in collision with car, pick-up truck or van, unspecified pedal cyclist, traffic accident, while resting, sleeping, eating or engaging in other vital activities

V13.98 Pedal cyclist injured in collision with car, pick-up truck or van, unspecified pedal cyclist, traffic accident, while engaged in other specified activities

V13.99 Pedal cyclist injured in collision with car, pick-up truck or van, unspecified pedal cyclist, traffic accident, during unspecified activity

V14 Pedal cyclist injured in collision with heavy transport vehicle or bus

V14.0 Pedal cyclist injured in collision with heavy transport vehicle or bus, driver, nontraffic accident

V14.00 Pedal cyclist injured in collision with heavy transport vehicle or bus, driver, nontraffic accident, while engaged in sports activity

V14.01 Pedal cyclist injured in collision with heavy transport vehicle or bus, driver, nontraffic accident, while engaged in leisure activity

V14.02 Pedal cyclist injured in collision with heavy transport vehicle or bus, driver, nontraffic accident, while working for an income

V14.03 Pedal cyclist injured in collision with heavy transport vehicle or bus, driver, nontraffic accident, while engaged in other types of work

V14.04 Pedal cyclist injured in collision with heavy transport vehicle or bus, driver, nontraffic accident, while resting, sleeping, eating or engaging in other vital activities

V14.08 Pedal cyclist injured in collision with heavy transport vehicle or bus, driver, nontraffic accident, while engaged in other specified activities

V14.09 Pedal cyclist injured in collision with heavy transport vehicle or bus, driver, nontraffic accident, during unspecified activity

V14.1 Pedal cyclist injured in collision with heavy transport vehicle or bus, passenger, nontraffic accident

V14.10 Pedal cyclist injured in collision with heavy transport vehicle or bus, passenger, nontraffic accident, while engaged in sports activity

V14.11 Pedal cyclist injured in collision with heavy transport vehicle or bus, passenger, nontraffic accident, while engaged in leisure activity

V14.12 Pedal cyclist injured in collision with heavy transport vehicle or bus, passenger, nontraffic accident, while working for an income

V14.13 Pedal cyclist injured in collision with heavy transport vehicle or bus, passenger, nontraffic accident, while engaged in other types of work

V14.14 Pedal cyclist injured in collision with heavy transport vehicle or bus, passenger, nontraffic accident, while resting, sleeping, eating or engaging in other vital activities

V14.18 Pedal cyclist injured in collision with heavy transport vehicle or bus, passenger, nontraffic, while engaged in other specified activities accident

V14.19 Pedal cyclist injured in collision with heavy transport vehicle or bus, passenger, nontraffic, during unspecified activity accident

V14.2 Pedal cyclist injured in collision with heavy transport vehicle or bus, unspecified pedal cyclist, nontraffic accident

V14.20 Pedal cyclist injured in collision with heavy transport vehicle or bus, unspecified pedal cyclist, nontraffic accident, while engaged in sports activity

V14.21 Pedal cyclist injured in collision with heavy transport vehicle or bus, unspecified pedal cyclist, nontraffic accident, while engaged in leisure activity

V14.22 Pedal cyclist injured in collision with heavy transport vehicle or bus, unspecified pedal cyclist, nontraffic accident, while working for an income

V14.23 Pedal cyclist injured in collision with heavy transport vehicle or bus, unspecified pedal cyclist, nontraffic accident, while engaged in other types of work

V14.24 Pedal cyclist injured in collision with heavy transport vehicle or bus, unspecified pedal cyclist, nontraffic accident, while resting, sleeping, eating or engaging in other vital activities

V14.28 Pedal cyclist injured in collision with heavy transport vehicle or bus, unspecified pedal cyclist, nontraffic accident, while engaged in other specified activities

V14.29 Pedal cyclist injured in collision with heavy transport vehicle or bus, unspecified pedal cyclist, nontraffic accident, during unspecified activity

V14.3 Pedal cyclist injured in collision with heavy transport vehicle or bus, while boarding or alighting

V14.30 Pedal cyclist injured in collision with heavy transport vehicle or bus, while boarding or alighting, while engaged in sports activity

V14.31 Pedal cyclist injured in collision with heavy transport vehicle or bus, while boarding or alighting, while engaged in leisure activity

V14.32 Pedal cyclist injured in collision with heavy transport vehicle or bus, while boarding or alighting, while working for an income

V14.33 Pedal cyclist injured in collision with heavy transport vehicle or bus, while boarding or alighting, while engaged in other types of work

V14.34 Pedal cyclist injured in collision with heavy transport vehicle or bus, while boarding or alighting, while resting, sleeping, eating or engaging in other vital activities

V14.38 Pedal cyclist injured in collision with heavy transport vehicle or bus, while boarding or alighting, while engaged in other specified activities

V14.39 Pedal cyclist injured in collision with heavy transport vehicle or bus, while boarding or alighting, during unspecified activity

V14.4 Pedal cyclist injured in collision with heavy transport vehicle or bus, driver, traffic accident

V14.40 Pedal cyclist injured in collision with heavy transport vehicle or bus, driver, traffic accident, while engaged in sports activity

V14.41 Pedal cyclist injured in collision with heavy transport vehicle or bus, driver, traffic accident, while engaged in leisure activity

V14.42 Pedal cyclist injured in collision with heavy transport vehicle or bus, driver, traffic accident, while working for an income

V14.43 Pedal cyclist injured in collision with heavy transport vehicle or bus, driver, traffic accident, while engaged in other types of work

V14.44 Pedal cyclist injured in collision with heavy transport vehicle or bus, driver, traffic accident, while resting, sleeping, eating or engaging in other vital activities

V14.48 Pedal cyclist injured in collision with heavy transport vehicle or bus, driver, traffic accident, while engaged in other specified activities

V14.49 Pedal cyclist injured in collision with heavy transport vehicle or bus, driver, traffic accident, during unspecified activity

V14.5 Pedal cyclist injured in collision with heavy transport vehicle or bus, passenger, traffic accident

V14.50 Pedal cyclist injured in collision with heavy transport vehicle or bus, passenger, traffic accident, while engaged in sports activity

V14.51 Pedal cyclist injured in collision with heavy transport vehicle or bus, passenger, traffic accident, while engaged in leisure activity

V14.52 Pedal cyclist injured in collision with heavy transport vehicle or bus, passenger, traffic accident, while working for an income

V14.53 Pedal cyclist injured in collision with heavy transport vehicle or bus, passenger, traffic accident, while engaged in other types of work

V14.54 Pedal cyclist injured in collision with heavy transport vehicle or bus, passenger, traffic accident, while resting, sleeping, eating or engaging in other vital activities

V14.58 Pedal cyclist injured in collision with heavy transport vehicle or bus, passenger, traffic accident, while engaged in other specified activities

V14.59 Pedal cyclist injured in collision with heavy transport vehicle or bus, passenger, traffic accident, during unspecified activity

V14.9 Pedal cyclist injured in collision with heavy transport vehicle or bus, unspecified pedal cyclist, traffic accident

V14.90 Pedal cyclist injured in collision with heavy transport vehicle or bus, unspecified pedal cyclist, traffic accident, while engaged in sports activity

V14.91 Pedal cyclist injured in collision with heavy transport vehicle or bus, unspecified pedal cyclist, traffic accident, while engaged in leisure activity

V14.92 Pedal cyclist injured in collision with heavy transport vehicle or bus, unspecified pedal cyclist, traffic accident, while working for an income

V14.93 Pedal cyclist injured in collision with heavy transport vehicle or bus, unspecified pedal cyclist, traffic accident, while engaged in other types of work

V14.94 Pedal cyclist injured in collision with heavy transport vehicle or bus, unspecified pedal cyclist, traffic accident, while resting, sleeping, eating or engaging in other vital activities

V14.98 Pedal cyclist injured in collision with heavy transport vehicle or bus, unspecified pedal cyclist, traffic accident, while engaged in other specified activities

V14.99 Pedal cyclist injured in collision with heavy transport vehicle or bus, unspecified pedal cyclist, traffic accident, during unspecified activity

V15 Pedal cyclist injured in collision with railway train or railway vehicle

V15.0 Pedal cyclist injured in collision with railway train or railway vehicle, driver, nontraffic accident

V15.00 Pedal cyclist injured in collision with railway train or railway vehicle, driver, nontraffic accident, while engaged in sports activity

V15.01 Pedal cyclist injured in collision with railway train or railway vehicle, driver, nontraffic accident, while engaged in leisure activity

V15.02 Pedal cyclist injured in collision with railway train or railway vehicle, driver, nontraffic accident, while working for an income

V15.03 Pedal cyclist injured in collision with railway train or railway vehicle, driver, nontraffic accident, while engaged in other types of work

V15.04 Pedal cyclist injured in collision with railway train or railway vehicle, driver, nontraffic accident, while resting, sleeping, eating or engaging in other vital activities

V15.08 Pedal cyclist injured in collision with railway train or railway vehicle, driver, nontraffic accident, while engaged in other specified activities

V15.09 Pedal cyclist injured in collision with railway train or railway vehicle, driver, nontraffic accident, during unspecified activity

V15.1 Pedal cyclist injured in collision with railway train or railway vehicle, passenger, nontraffic accident

V15.10 Pedal cyclist injured in collision with railway train or railway vehicle, passenger, nontraffic accident, while engaged in sports activity

V15.11 Pedal cyclist injured in collision with railway train or railway vehicle, passenger, nontraffic accident, while engaged in leisure activity

V15.12 Pedal cyclist injured in collision with railway train or railway vehicle, passenger, nontraffic accident, while working for an income

V15.13 Pedal cyclist injured in collision with railway train or railway vehicle, passenger, nontraffic accident, while engaged in other types of work

V15.14 Pedal cyclist injured in collision with railway train or railway vehicle, passenger, nontraffic accident, while resting, sleeping, eating or engaging in other vital activities

V15.18 Pedal cyclist injured in collision with railway train or railway vehicle, passenger, nontraffic accident, while engaged in other specified activities

V15.19 Pedal cyclist injured in collision with railway train or railway vehicle, passenger, nontraffic accident, during unspecified activity

V15.2 Pedal cyclist injured in collision with railway train or railway vehicle, unspecified pedal cyclist, nontraffic accident

V15.20 Pedal cyclist injured in collision with railway train or railway vehicle, unspecified pedal cyclist, nontraffic accident, while engaged in sports activity

V15.21 Pedal cyclist injured in collision with railway train or railway vehicle, unspecified pedal cyclist, nontraffic accident, while engaged in leisure activity

V15.22 Pedal cyclist injured in collision with railway train or railway vehicle, unspecified pedal cyclist, nontraffic accident, while working for an income

V15.23 Pedal cyclist injured in collision with railway train or railway vehicle, unspecified pedal cyclist, nontraffic accident, while engaged in other types of work

V15.24 Pedal cyclist injured in collision with railway train or railway vehicle, unspecified pedal cyclist, nontraffic accident, while resting, sleeping, eating or engaging in other vital activities

V15.28 Pedal cyclist injured in collision with railway train or railway vehicle, unspecified pedal cyclist, nontraffic accident, while engaged in other specified activities

V15.29 Pedal cyclist injured in collision with railway train or railway vehicle, unspecified pedal cyclist, nontraffic accident, during unspecified activity

V15.3 Pedal cyclist injured in collision with railway train or railway vehicle, while boarding or alighting

V15.30 Pedal cyclist injured in collision with railway train or railway vehicle, while boarding or alighting, while engaged in sports activity

V15.31 Pedal cyclist injured in collision with railway train or railway vehicle, while boarding or alighting, while engaged in leisure activity

V15.32 Pedal cyclist injured in collision with railway train or railway vehicle, while boarding or alighting, while working for an income, while working for an income

V15.33 Pedal cyclist injured in collision with railway train or railway vehicle, while boarding or alighting, while engaged in other types of work

V15.34 Pedal cyclist injured in collision with railway train or railway vehicle, while boarding or alighting, while resting, sleeping, eating or engaging in other vital activities

V15.38 Pedal cyclist injured in collision with railway train or railway vehicle, while boarding or alighting, while engaged in other specified activities

V15.39 Pedal cyclist injured in collision with railway train or railway vehicle, while boarding or alighting, during unspecified activity

V15.4 Pedal cyclist injured in collision with railway train or railway vehicle, driver, traffic accident

V15.40 Pedal cyclist injured in collision with railway train or railway vehicle, driver, traffic accident, while engaged in sports activity

V15.41 Pedal cyclist injured in collision with railway train or railway vehicle, driver, traffic accident, while engaged in leisure activity

V15.42 Pedal cyclist injured in collision with railway train or railway vehicle, driver, traffic accident, while working for an income

V15.43 Pedal cyclist injured in collision with railway train or railway vehicle, driver, traffic accident, while engaged in other types of work

V15.44 Pedal cyclist injured in collision with railway train or railway vehicle, driver, traffic accident, while resting, sleeping, eating or engaging in other vital activities

V15.48 Pedal cyclist injured in collision with railway train or railway vehicle, driver, traffic accident, while engaged in other specified activities

V15.49 Pedal cyclist injured in collision with railway train or railway vehicle, driver, traffic accident, during unspecified activity

V15.5 Pedal cyclist injured in collision with railway train or railway vehicle, passenger, traffic accident

V15.50 Pedal cyclist injured in collision with railway train or railway vehicle, passenger, traffic accident, while engaged in sports activity

V15.51 Pedal cyclist injured in collision with railway train or railway vehicle, passenger, traffic accident, while engaged in leisure activity

V15.52 Pedal cyclist injured in collision with railway train or railway vehicle, passenger, traffic accident, while working for an income

V15.53 Pedal cyclist injured in collision with railway train or railway vehicle, passenger, traffic accident, while engaged in other types of work

V15.54 Pedal cyclist injured in collision with railway train or railway vehicle, passenger, traffic accident, while resting, sleeping, eating or engaging in other vital activities

V15.58 Pedal cyclist injured in collision with railway train or railway vehicle, passenger, traffic accident, while engaged in other specified activities

V15.59 Pedal cyclist injured in collision with railway train or railway vehicle, passenger, traffic accident, during unspecified activity

V15.9 Pedal cyclist injured in collision with railway train or railway vehicle, unspecified pedal cyclist, traffic accident

V15.90 Pedal cyclist injured in collision with railway train or railway vehicle, unspecified pedal cyclist, traffic accident, while engaged in sports activity

V15.91 Pedal cyclist injured in collision with railway train or railway vehicle, unspecified pedal cyclist, traffic accident, while engaged in leisure activity

V15.92 Pedal cyclist injured in collision with railway train or railway vehicle, unspecified pedal cyclist, traffic accident, while working for an income

V15.93 Pedal cyclist injured in collision with railway train or railway vehicle, unspecified pedal cyclist, traffic accident, while engaged in other types of work

V15.94 Pedal cyclist injured in collision with railway train or railway vehicle, unspecified pedal cyclist, traffic accident, while resting, sleeping, eating or engaging in other vital activities

V15.98 Pedal cyclist injured in collision with railway train or railway vehicle, unspecified pedal cyclist, traffic accident, while engaged in other specified activities

V15.99 Pedal cyclist injured in collision with railway train or railway vehicle, unspecified pedal cyclist, traffic accident, during unspecified activity

V16 Pedal cyclist injured in collision with other nonmotor vehicle

V16.0 Pedal cyclist injured in collision with other nonmotor vehicle, driver, nontraffic accident

V16.00 Pedal cyclist injured in collision with other nonmotor vehicle, driver, nontraffic accident, while engaged in sports activity

V16.01 Pedal cyclist injured in collision with other nonmotor vehicle, driver, nontraffic accident, while engaged in leisure activity

V16.02 Pedal cyclist injured in collision with other nonmotor vehicle, driver, nontraffic accident, while working for an income

V16.03 Pedal cyclist injured in collision with other nonmotor vehicle, driver, nontraffic accident, while engaged in other types of work

V16.04 Pedal cyclist injured in collision with other nonmotor vehicle, driver, nontraffic accident, while resting, sleeping, eating or engaging in other vital activities

V16.08 Pedal cyclist injured in collision with other nonmotor vehicle, driver, nontraffic accident, while engaged in other specified activities

V16.09 Pedal cyclist injured in collision with other nonmotor vehicle, driver, nontraffic accident, during unspecified activity

V16.1 Pedal cyclist injured in collision with other nonmotor vehicle, passenger, nontraffic accident

V16.10 Pedal cyclist injured in collision with other nonmotor vehicle, passenger, nontraffic accident, while engaged in sports activity

V16.11 Pedal cyclist injured in collision with other nonmotor vehicle, passenger, nontraffic accident, while engaged in leisure activity

V16.12 Pedal cyclist injured in collision with other nonmotor vehicle, passenger, nontraffic accident, while working for an income

V16.13 Pedal cyclist injured in collision with other nonmotor vehicle, passenger, nontraffic accident, while engaged in other types of work

V16.14 Pedal cyclist injured in collision with other nonmotor vehicle, passenger, nontraffic accident, while resting, sleeping, eating or engaging in other vital activities

V16.18 Pedal cyclist injured in collision with other nonmotor vehicle, passenger, nontraffic accident, while engaged in other specified activities

V16.19 Pedal cyclist injured in collision with other nonmotor vehicle, passenger, nontraffic accident, during unspecified activity

V16.2 Pedal cyclist injured in collision with other nonmotor vehicle, unspecified pedal cyclist, nontraffic accident

V16.20 Pedal cyclist injured in collision with other nonmotor vehicle, unspecified pedal cyclist, nontraffic accident, while engaged in sports activity

V16.21 Pedal cyclist injured in collision with other nonmotor vehicle, unspecified pedal cyclist, nontraffic accident, while engaged in leisure activity

V16.22 Pedal cyclist injured in collision with other nonmotor vehicle, unspecified pedal cyclist, nontraffic accident, while working for an income

V16.23 Pedal cyclist injured in collision with other nonmotor vehicle, unspecified pedal cyclist, nontraffic accident, while engaged in other types of work

V16.24 Pedal cyclist injured in collision with other nonmotor vehicle, unspecified pedal cyclist, nontraffic accident, while resting, sleeping, eating or engaging in other vital activities

V16.28 Pedal cyclist injured in collision with other nonmotor vehicle, unspecified pedal cyclist, nontraffic accident, while engaged in other specified activities

V16.29 Pedal cyclist injured in collision with other nonmotor vehicle, unspecified pedal cyclist, nontraffic accident, during unspecified activity

V16.3 Pedal cyclist injured in collision with other nonmotor vehicle, while boarding or alighting

V16.30 Pedal cyclist injured in collision with other nonmotor vehicle, while boarding or alighting, while engaged in sports activity

V16.31 Pedal cyclist injured in collision with other nonmotor vehicle, while boarding or alighting, while engaged in leisure activity

V16.32 Pedal cyclist injured in collision with other nonmotor vehicle, while boarding or alighting, while working for an income

V16.33 Pedal cyclist injured in collision with other nonmotor vehicle, while boarding or alighting, while engaged in other types of work

V16.34 Pedal cyclist injured in collision with other nonmotor vehicle, while boarding or alighting, while resting, sleeping, eating or engaging in other vital activities

V16.38 Pedal cyclist injured in collision with other nonmotor vehicle, while boarding or alighting, while engaged in other specified activities

V16.39 Pedal cyclist injured in collision with other nonmotor vehicle, while boarding or alighting, during unspecified activity

V16.4 Pedal cyclist injured in collision with other nonmotor vehicle, driver, traffic accident

V16.40 Pedal cyclist injured in collision with other nonmotor vehicle, driver, traffic accident, while engaged in sports activity

V16.41 Pedal cyclist injured in collision with other nonmotor vehicle, driver, traffic accident, while engaged in leisure activity

V16.42 Pedal cyclist injured in collision with other nonmotor vehicle, driver, traffic accident, while working for an income

V16.43 Pedal cyclist injured in collision with other nonmotor vehicle, driver, traffic accident, while engaged in other types of work

V16.44 Pedal cyclist injured in collision with other nonmotor vehicle, driver, traffic accident, while resting, sleeping, eating or engaging in other vital activities

V16.48 Pedal cyclist injured in collision with other nonmotor vehicle, driver, traffic accident, while engaged in other specified activities

V16.49 Pedal cyclist injured in collision with other nonmotor vehicle, driver, traffic accident, during unspecified activity

V16.5 Pedal cyclist injured in collision with other nonmotor vehicle, passenger, traffic accident

V16.50 Pedal cyclist injured in collision with other nonmotor vehicle, passenger, traffic accident, while engaged in sports activity

V16.51 Pedal cyclist injured in collision with other nonmotor vehicle, passenger, traffic accident, while engaged in leisure activity

V16.52 Pedal cyclist injured in collision with other nonmotor vehicle, passenger, traffic accident, while working for an income

V16.53 Pedal cyclist injured in collision with other nonmotor vehicle, passenger, traffic accident, while engaged in other types of work

V16.54 Pedal cyclist injured in collision with other nonmotor vehicle, passenger, traffic accident, while resting, sleeping, eating or engaging in other vital activities

V16.58 Pedal cyclist injured in collision with other nonmotor vehicle, passenger, traffic accident, while engaged in other specified activities

V16.59 Pedal cyclist injured in collision with other nonmotor vehicle, passenger, traffic accident, during unspecified activity

V16.9 Pedal cyclist injured in collision with other nonmotor vehicle, unspecified pedal cyclist, traffic accident

V16.90 Pedal cyclist injured in collision with other nonmotor vehicle, unspecified pedal cyclist, traffic accident, while engaged in leisure activity

V16.91 Pedal cyclist injured in collision with other nonmotor vehicle, unspecified pedal cyclist, traffic accident, while engaged in sports activity

V16.92 Pedal cyclist injured in collision with other nonmotor vehicle, unspecified pedal cyclist, traffic accident, while working for an income

V16.93 Pedal cyclist injured in collision with other nonmotor vehicle, unspecified pedal cyclist, traffic accident, while engaged in other types of work

V16.94 Pedal cyclist injured in collision with other nonmotor vehicle, unspecified pedal cyclist, traffic accident, while resting, sleeping, eating or engaging in other vital activities

V16.98 Pedal cyclist injured in collision with other nonmotor vehicle, unspecified pedal cyclist, traffic accident, while engaged in other specified activities

V16.99 Pedal cyclist injured in collision with other nonmotor vehicle, unspecified pedal cyclist, traffic accident, during unspecified activity

V17 Pedal cyclist injured in collision with fixed or stationary object

V17.0 Pedal cyclist injured in collision with fixed or stationary object, driver, nontraffic accident

V17.00 Pedal cyclist injured in collision with fixed or stationary object, driver, nontraffic accident, while engaged in sports activity

V17.01 Pedal cyclist injured in collision with fixed or stationary object, driver, nontraffic accident, while engaged in leisure activity

V17.02 Pedal cyclist injured in collision with fixed or stationary object, driver, nontraffic accident, while working for an income

V17.03 Pedal cyclist injured in collision with fixed or stationary object, driver, nontraffic accident, while engaged in other types of work

V17.04 Pedal cyclist injured in collision with fixed or stationary object, driver, nontraffic accident, while resting, sleeping, eating or engaging in other vital activities

V17.08 Pedal cyclist injured in collision with fixed or stationary object, driver, nontraffic accident, while engaged in other specified activities

V17.09 Pedal cyclist injured in collision with fixed or stationary object, driver, nontraffic accident, during unspecified activity

V17.1 Pedal cyclist injured in collision with fixed or stationary object, passenger, nontraffic accident

V17.10 Pedal cyclist injured in collision with fixed or stationary object, passenger, nontraffic accident, while engaged in sports activity

V17.11 Pedal cyclist injured in collision with fixed or stationary object, passenger, nontraffic accident, while engaged in leisure activity

V17.12 Pedal cyclist injured in collision with fixed or stationary object, passenger, nontraffic accident, while working for an income

V17.13 Pedal cyclist injured in collision with fixed or stationary object, passenger, nontraffic accident, while engaged in other types of work

V17.14 Pedal cyclist injured in collision with fixed or stationary object, passenger, nontraffic accident, while resting, sleeping, eating or engaging in other vital activities

V17.18 Pedal cyclist injured in collision with fixed or stationary object, passenger, nontraffic accident, while engaged in other specified activities

V17.19 Pedal cyclist injured in collision with fixed or stationary object, passenger, nontraffic accident, during unspecified activity

V17.2 Pedal cyclist injured in collision with fixed or stationary object, unspecified pedal cyclist, nontraffic accident

V17.20 Pedal cyclist injured in collision with fixed or stationary object, unspecified pedal cyclist, nontraffic accident, while engaged in sports activity

V17.21 Pedal cyclist injured in collision with fixed or stationary object, unspecified pedal cyclist, nontraffic accident, while engaged in leisure activity

V17.22 Pedal cyclist injured in collision with fixed or stationary object, unspecified pedal cyclist, nontraffic accident, while working for an income

V17.23 Pedal cyclist injured in collision with fixed or stationary object, unspecified pedal cyclist, nontraffic accident, while engaged in other types of work

V17.24 Pedal cyclist injured in collision with fixed or stationary object, unspecified pedal cyclist, nontraffic accident, while resting, sleeping, eating or engaging in other vital activities

V17.28 Pedal cyclist injured in collision with fixed or stationary object, unspecified pedal cyclist, nontraffic accident, while engaged in other specified activities

V17.29 Pedal cyclist injured in collision with fixed or stationary object, unspecified pedal cyclist, nontraffic accident, during unspecified activity

V17.3 Pedal cyclist injured in collision with fixed or stationary object, while boarding or alighting

V17.30 Pedal cyclist injured in collision with fixed or stationary object, while boarding or alighting, while engaged in sports activity

V17.31 Pedal cyclist injured in collision with fixed or stationary object, while boarding or alighting, while engaged in leisure activity

V17.32 Pedal cyclist injured in collision with fixed or stationary object, while boarding or alighting, while working for an income

V17.33 Pedal cyclist injured in collision with fixed or stationary object, while boarding or alighting, while engaged in other types of work

V17.34 Pedal cyclist injured in collision with fixed or stationary object, while boarding or alighting, while resting, sleeping, eating or engaging in other vital activities

V17.38 Pedal cyclist injured in collision with fixed or stationary object, while boarding or alighting, while engaged in other specified activities

V17.39 Pedal cyclist injured in collision with fixed or stationary object, while boarding or alighting, during unspecified activity

V17.4 Pedal cyclist injured in collision with fixed or stationary object, driver, traffic accident

V17.40 Pedal cyclist injured in collision with fixed or stationary object, driver, traffic accident, while engaged in sports activity

V17.41 Pedal cyclist injured in collision with fixed or stationary object, driver, traffic accident, while engaged in leisure activity

V17.42 Pedal cyclist injured in collision with fixed or stationary object, driver, traffic accident, while working for an income

V17.43 Pedal cyclist injured in collision with fixed or stationary object, driver, traffic accident, while engaged in other types of work

V17.44 Pedal cyclist injured in collision with fixed or stationary object, driver, traffic accident, while resting, sleeping, eating or engaging in other vital activities

V17.48 Pedal cyclist injured in collision with fixed or stationary object, driver, traffic accident, while engaged in other specified activities

V17.49 Pedal cyclist injured in collision with fixed or stationary object, driver, traffic accident, during unspecified activity

V17.5 Pedal cyclist injured in collision with fixed or stationary object, passenger, traffic accident

V17.50 Pedal cyclist injured in collision with fixed or stationary object, passenger, traffic accident, while engaged in sports activity

V17.51 Pedal cyclist injured in collision with fixed or stationary object, passenger, traffic accident, while engaged in leisure activity

V17.52 Pedal cyclist injured in collision with fixed or stationary object, passenger, traffic accident, while working for an income

V17.53 Pedal cyclist injured in collision with fixed or stationary object, passenger, traffic accident, while engaged in other types of work

V17.54 Pedal cyclist injured in collision with fixed or stationary object, passenger, traffic accident, while resting, sleeping, eating or engaging in other vital activities

V17.58 Pedal cyclist injured in collision with fixed or stationary object, passenger, traffic accident, while engaged in other specified activities

V17.59 Pedal cyclist injured in collision with fixed or stationary object, passenger, traffic accident, during unspecified activity

V17.9 Pedal cyclist injured in collision with fixed or stationary object, unspecified pedal cyclist, traffic accident

V17.90 Pedal cyclist injured in collision with fixed or stationary object, unspecified pedal cyclist, traffic accident, while engaged in sports activity

V17.91 Pedal cyclist injured in collision with fixed or stationary object, unspecified pedal cyclist, traffic accident, while engaged in leisure activity

V17.92 Pedal cyclist injured in collision with fixed or stationary object, unspecified pedal cyclist, traffic accident, while working for an income

V17.93 Pedal cyclist injured in collision with fixed or stationary object, unspecified pedal cyclist, traffic accident, while engaged in other types of work

V17.94 Pedal cyclist injured in collision with fixed or stationary object, unspecified pedal cyclist, traffic accident, while resting, sleeping, eating or engaging in other vital activities

V17.98 Pedal cyclist injured in collision with fixed or stationary object, unspecified pedal cyclist, traffic accident, while engaged in other specified activities

V17.99 Pedal cyclist injured in collision with fixed or stationary object, unspecified pedal cyclist, traffic accident, during unspecified activity

V18 Pedal cyclist injured in noncollision transport accident

V18.0 Pedal cyclist injured in noncollision transport accident, driver, nontraffic accident

V18.00 Pedal cyclist injured in noncollision transport accident, driver, nontraffic accident, while engaged in sports activity

V18.01 Pedal cyclist injured in noncollision transport accident, driver, nontraffic accident, while engaged in leisure activity

V18.02 Pedal cyclist injured in noncollision transport accident, driver, nontraffic accident, while working for an income

V18.03 Pedal cyclist injured in noncollision transport accident, driver, nontraffic accident, while engaged in other types of work

V18.04 Pedal cyclist injured in noncollision transport accident, driver, nontraffic accident, while resting, sleeping, eating or engaging in other vital activities

V18.08 Pedal cyclist injured in noncollision transport accident, driver, nontraffic accident, while engaged in other specified activities

V18.09 Pedal cyclist injured in noncollision transport accident, driver, nontraffic accident, during unspecified activity

V18.1 Pedal cyclist injured in noncollision transport accident, passenger, nontraffic accident

V18.10 Pedal cyclist injured in noncollision transport accident, passenger, nontraffic accident, while engaged in sports activity

V18.11 Pedal cyclist injured in noncollision transport accident, passenger, nontraffic accident, while engaged in leisure activity

V18.12 Pedal cyclist injured in noncollision transport accident, passenger, nontraffic accident, while working for an income

V18.13 Pedal cyclist injured in noncollision transport accident, passenger, nontraffic accident, while engaged in other types of work

V18.14 Pedal cyclist injured in noncollision transport accident, passenger, nontraffic accident, while resting, sleeping, eating or engaging in other vital activities

V18.18 Pedal cyclist injured in noncollision transport accident, passenger, nontraffic accident, while engaged in other specified activities

V18.19 Pedal cyclist injured in noncollision transport accident, passenger, nontraffic accident, during unspecified activity

V18.2 Pedal cyclist injured in noncollision transport accident, unspecified pedal cyclist, nontraffic accident

V18.20 Pedal cyclist injured in noncollision transport accident, unspecified pedal cyclist, nontraffic accident, while engaged in sports activity

V18.21 Pedal cyclist injured in noncollision transport accident, unspecified pedal cyclist, nontraffic accident, while engaged in leisure activity

V18.22 Pedal cyclist injured in noncollision transport accident, unspecified pedal cyclist, nontraffic accident, while working for an income

V18.23 Pedal cyclist injured in noncollision transport accident, unspecified pedal cyclist, nontraffic accident, while engaged in other types of work

V18.24 Pedal cyclist injured in noncollision transport accident, unspecified pedal cyclist, nontraffic accident, while resting, sleeping, eating or engaging in other vital activities

V18.28 Pedal cyclist injured in noncollision transport accident, unspecified pedal cyclist, nontraffic accident, while engaged in other specified activities

V18.29 Pedal cyclist injured in noncollision transport accident, unspecified pedal cyclist, nontraffic accident, during unspecified activity

V18.3 Pedal cyclist injured in noncollision transport accident, while boarding or alighting

V18.30 Pedal cyclist injured in noncollision transport accident, while boarding or alighting, while engaged in sports activity

V18.31 Pedal cyclist injured in noncollision transport accident, while boarding or alighting, while engaged in leisure activity

V18.32 Pedal cyclist injured in noncollision transport accident, while boarding or alighting, while working for an income

V18.33 Pedal cyclist injured in noncollision transport accident, while boarding or alighting, while engaged in other types of work

V18.34 Pedal cyclist injured in noncollision transport accident, while boarding or alighting, while resting, sleeping, eating or engaging in other vital activities

V18.38 Pedal cyclist injured in noncollision transport accident, while boarding or alighting, while engaged in other specified activities

V18.39 Pedal cyclist injured in noncollision transport accident, while boarding or alighting, during unspecified activity

V18.4 Pedal cyclist injured in noncollision transport accident, driver, traffic accident

V18.40 Pedal cyclist injured in noncollision transport accident, driver, traffic accident, while engaged in sports activity

V18.41 Pedal cyclist injured in noncollision transport accident, driver, traffic accident, while engaged in leisure activity

V18.42 Pedal cyclist injured in noncollision transport accident, driver, traffic accident, while working for an income

V18.43 Pedal cyclist injured in noncollision transport accident, driver, traffic accident, while engaged in other types of work

V18.44 Pedal cyclist injured in noncollision transport accident, driver, traffic accident, while resting, sleeping, eating or engaging in other vital activities

V18.48 Pedal cyclist injured in noncollision transport accident, driver, traffic accident, while engaged in other specified activities

V18.49 Pedal cyclist injured in noncollision transport accident, driver, traffic accident, during unspecified activity, during unspecified activity

V18.5 Pedal cyclist injured in noncollision transport accident, passenger, traffic accident

V18.50 Pedal cyclist injured in noncollision transport accident, passenger, traffic accident, while engaged in sports activity

V18.51 Pedal cyclist injured in noncollision transport accident, passenger, traffic accident, while engaged in leisure activity

V18.52 Pedal cyclist injured in noncollision transport accident, passenger, traffic accident, while working for an income, while working for an income

V18.53 Pedal cyclist injured in noncollision transport accident, passenger, traffic accident, while engaged in other types of work

V18.54 Pedal cyclist injured in noncollision transport accident, passenger, traffic accident, while resting, sleeping, eating or engaging in other vital activities

V18.58 Pedal cyclist injured in noncollision transport accident, passenger, traffic accident, while engaged in other specified activities

V18.59 Pedal cyclist injured in noncollision transport accident, passenger, traffic accident, during unspecified activity, during unspecified activity

V18.9 Pedal cyclist injured in noncollision transport accident, unspecified pedal cyclist, traffic accident

V18.90 Pedal cyclist injured in noncollision transport accident, unspecified pedal cyclist, traffic accident, while engaged in sports activity

V18.91 Pedal cyclist injured in noncollision transport accident, unspecified pedal cyclist, traffic accident, while engaged in leisure activity

V18.92 Pedal cyclist injured in noncollision transport accident, unspecified pedal cyclist, traffic accident, while working for an income, while working for an income

V18.93 Pedal cyclist injured in noncollision transport accident, unspecified pedal cyclist, traffic accident, while engaged in other types of work

V18.94 Pedal cyclist injured in noncollision transport accident, unspecified pedal cyclist, traffic accident, while resting, sleeping, eating or engaging in other vital activities

V18.98 Pedal cyclist injured in noncollision transport accident, unspecified pedal cyclist, traffic accident, while engaged in other specified activities

V18.99 Pedal cyclist injured in noncollision transport accident, unspecified pedal cyclist, traffic accident, during unspecified activity, during unspecified activity

V19 Pedal cyclist injured in other and unspecified transport accidents

V19.0 Driver injured in collision with other and unspecified motor vehicles in nontraffic accident

V19.00 Driver injured in collision with other and unspecified motor vehicles in nontraffic accident, while engaged in sports activity

V19.01 Driver injured in collision with other and unspecified motor vehicles in nontraffic accident, while engaged in leisure activity

V19.02 Driver injured in collision with other and unspecified motor vehicles in nontraffic accident, while working for an income

V19.03 Driver injured in collision with other and unspecified motor vehicles in nontraffic accident, while engaged in other types of work

V19.04 Driver injured in collision with other and unspecified motor vehicles in nontraffic accident, while resting, sleeping, eating or engaging in other vital activities

V19.08 Driver injured in collision with other and unspecified motor vehicles in nontraffic accident, while engaged in other specified activities

V19.09 Driver injured in collision with other and unspecified motor vehicles in nontraffic accident, during unspecified activity

V19.1 Passenger injured in collision with other and unspecified motor vehicles in nontraffic accident

V19.10 Passenger injured in collision with other and unspecified motor vehicles in nontraffic accident, while engaged in sports activity

V19.11 Passenger injured in collision with other and unspecified motor vehicles in nontraffic accident, while engaged in leisure activity

V19.12 Passenger injured in collision with other and unspecified motor vehicles in nontraffic accident, while working for an income

V19.13 Passenger injured in collision with other and unspecified motor vehicles in nontraffic accident, while engaged in other types of work

V19.14 Passenger injured in collision with other and unspecified motor vehicles in nontraffic accident, while resting, sleeping, eating or engaging in other vital activities

V19.18 Passenger injured in collision with other and unspecified motor vehicles in nontraffic accident, while engaged in other specified activities

V19.19 Passenger injured in collision with other and unspecified motor vehicles in nontraffic accident, during unspecified activity

V19.2 Unspecified pedal cyclist injured in collision with other and unspecified motor vehicles in nontraffic accident

V19.20 Unspecified pedal cyclist injured in collision with other and unspecified motor vehicles in nontraffic accident, while engaged in sports activity

V19.21 Unspecified pedal cyclist injured in collision with other and unspecified motor vehicles in nontraffic accident, while engaged in leisure activity

V19.22 Unspecified pedal cyclist injured in collision with other and unspecified motor vehicles in nontraffic accident, while working for an income

V19.23 Unspecified pedal cyclist injured in collision with other and unspecified motor vehicles in nontraffic accident, while engaged in other types of work

V19.24 Unspecified pedal cyclist injured in collision with other and unspecified motor vehicles in nontraffic accident, while resting, sleeping, eating or engaging in other vital activities

V19.28 Unspecified pedal cyclist injured in collision with other and unspecified motor vehicles in nontraffic accident, while engaged in other specified activities

V19.29 Unspecified pedal cyclist injured in collision with other and unspecified motor vehicles in nontraffic accident, during unspecified activity

V19.3 Pedal cyclist [any] injured in unspecified nontraffic accident

V19.30 Pedal cyclist [any] injured in unspecified nontraffic accident, while engaged in sports activity

V19.31 Pedal cyclist [any] injured in unspecified nontraffic accident, while engaged in leisure activity

V19.32 Pedal cyclist [any] injured in unspecified nontraffic accident, while working for an income

V19.33 Pedal cyclist [any] injured in unspecified nontraffic accident, while engaged in other types of work

V19.34 Pedal cyclist [any] injured in unspecified nontraffic accident, while resting, sleeping, eating or engaging in other vital activities

V19.38 Pedal cyclist [any] injured in unspecified nontraffic accident, while engaged in other specified activities

V19.39 Pedal cyclist [any] injured in unspecified nontraffic accident, during unspecified activity

V19.4 Driver injured in collision with other and unspecified motor vehicles in traffic accident

V19.40 Driver injured in collision with other and unspecified motor vehicles in traffic accident, while engaged in sports activity

V19.41 Driver injured in collision with other and unspecified motor vehicles in traffic accident, while engaged in leisure activity

V19.42 Driver injured in collision with other and unspecified motor vehicles in traffic accident, while working for an income

V19.43 Driver injured in collision with other and unspecified motor vehicles in traffic accident, while engaged in other types of work

V19.44 Driver injured in collision with other and unspecified motor vehicles in traffic accident, while resting, sleeping, eating or engaging in other vital activities

V19.48 Driver injured in collision with other and unspecified motor vehicles in traffic accident, while engaged in other specified activities

V19.49 Driver injured in collision with other and unspecified motor vehicles in traffic accident, during unspecified activity

V19.5 Passenger injured in collision with other and unspecified motor vehicles in traffic accident

V19.50 Passenger injured in collision with other and unspecified motor vehicles in traffic accident, while engaged in sports activity

V19.51 Passenger injured in collision with other and unspecified motor vehicles in traffic accident, while engaged in leisure activity

V19.52 Passenger injured in collision with other and unspecified motor vehicles in traffic accident, while working for an income

V19.53 Passenger injured in collision with other and unspecified motor vehicles in traffic accident, while engaged in other types of work

V19.54 Passenger injured in collision with other and unspecified motor vehicles in traffic accident, while resting, sleeping, eating or engaging in other vital activities

V19.58 Passenger injured in collision with other and unspecified motor vehicles in traffic accident, while engaged in other specified activities

V19.59 Passenger injured in collision with other and unspecified motor vehicles in traffic accident, during unspecified activity

V19.6 Unspecified pedal cyclist injured in collision with other and unspecified motor vehicles in traffic accident

V19.60 Unspecified pedal cyclist injured in collision with other and unspecified motor vehicles in traffic accident, while engaged in sports activity

V19.61 Unspecified pedal cyclist injured in collision with other and unspecified motor vehicles in traffic accident, while engaged in leisure activity

V19.62 Unspecified pedal cyclist injured in collision with other and unspecified motor vehicles in traffic accident, while working for an income

V19.63 Unspecified pedal cyclist injured in collision with other and unspecified motor vehicles in traffic accident, while engaged in other types of work

V19.64 Unspecified pedal cyclist injured in collision with other and unspecified motor vehicles in traffic accident, while resting, sleeping, eating or engaging in other vital activities

V19.68 Unspecified pedal cyclist injured in collision with other and unspecified motor vehicles in traffic accident, while engaged in other specified activities

V19.69 Unspecified pedal cyclist injured in collision with other and unspecified motor vehicles in traffic accident, during unspecified activity

V19.8 Pedal cyclist [any] injured in other specified transport accidents

V19.80 Pedal cyclist [any] injured in other specified transport accidents, while engaged in sports activity

V19.81 Pedal cyclist [any] injured in other specified transport accidents, while engaged in leisure activity

V19.82 Pedal cyclist [any] injured in other specified transport accidents, while working for an income

V19.83 Pedal cyclist [any] injured in other specified transport accidents, while engaged in other types of work

V19.84 Pedal cyclist [any] injured in other specified transport accidents, while resting, sleeping, eating or engaging in other vital activities

V19.88 Pedal cyclist [any] injured in other specified transport accidents, while engaged in other specified activities

V19.89 Pedal cyclist [any] injured in other specified transport accidents, during unspecified activity

V19.9 Pedal cyclist [any] injured in unspecified traffic accident

V19.90 Pedal cyclist [any] injured in unspecified traffic accident, while engaged in sports activity

V19.91 Pedal cyclist [any] injured in unspecified traffic accident, while engaged in leisure activity

V19.92 Pedal cyclist [any] injured in unspecified traffic accident, while working for an income

V19.93 Pedal cyclist [any] injured in unspecified traffic accident, while engaged in other types of work

V19.94 Pedal cyclist [any] injured in unspecified traffic accident, while resting, sleeping, eating or engaging in other vital activities

V19.98 Pedal cyclist [any] injured in unspecified traffic accident, while engaged in other specified activities

V19.99 Pedal cyclist [any] injured in unspecified traffic accident, during unspecified activity

1999 ICD10: 587 codes

•V31.22 Occupant of three-wheeled motor vehicle injured in collision with pedal cycle, person on outside of vehicle, nontraffic accident, while working for income•W65.40 Drowning and submersion while in bath-tub, street and highway, while engaged in sports activity•X35.44 Victim of volcanic eruption, street and highway, while resting, sleeping, eating or engaging in other vital activities

http://www.cs.man.ac.uk/~rector/presentations/Reasoning-web-rector-GALEN-2006.ppt59Wednesday, 30 November 2011

Page 60: More language - University of Manchesterstudentnet.cs.manchester.ac.uk/pgt/2011/COMP60421/slides/week3-language.pdf– TBox, ABox, (RBox, DataBox) – Different logics have • Different

Taxonomic position• Not just hard, but (perhaps) impossible

– No one hierarchy• “Discussion of the hierarchies frequently will elicit comments from the

domain expert about the hierarchy structure. Not infrequently in biomedicine, there is no canonical determination of a concept’s correct tree position. For example, meningococcal meningitis may be classified correctly as both a disease of the central nervous systems and a bacterial disease.” —Modeling a description logic vocabulary for cancer research

– Hierarchies aren’t neutral!• “In meta-utopia, the lab-coated guardians of epistemology sit down and

rationally map out a hierarchy of ideas...This presumes that there is a "correct" way of categorizing ideas, and that reasonable people, given enough time and incentive, can agree on the proper means for building a hierarchy. Nothing could be farther from the truth. Any hierarchy of ideas necessarily implies the importance of some axes over others.” —Metacrap: Putting the torch to seven straw-men of the meta-utopia

• ??

60Wednesday, 30 November 2011

Page 62: More language - University of Manchesterstudentnet.cs.manchester.ac.uk/pgt/2011/COMP60421/slides/week3-language.pdf– TBox, ABox, (RBox, DataBox) – Different logics have • Different

Duelling Manufacturers

vs

62Wednesday, 30 November 2011

Page 63: More language - University of Manchesterstudentnet.cs.manchester.ac.uk/pgt/2011/COMP60421/slides/week3-language.pdf– TBox, ABox, (RBox, DataBox) – Different logics have • Different

Reconciling?• “For example, meningococcal meningitis may be

classified correctly as both a disease of the central nervous systems and a bacterial disease. So there are always things the experts will question. These discussions of why the hierarchies are structured as they are offer the opportunity to introduce the notions of roles, since the hierarchy position of defined concepts are the result of the concept’s role restrictions.”

• Here, the definitions are helping concepualization– Perhaps the reasoner isn’t needed per se!

63Wednesday, 30 November 2011

Page 64: More language - University of Manchesterstudentnet.cs.manchester.ac.uk/pgt/2011/COMP60421/slides/week3-language.pdf– TBox, ABox, (RBox, DataBox) – Different logics have • Different

Coordination• “...one key problem limiting re-use and application-

independence is that the formalisms used force application-specific choices...one of the key application-specific decisions which formalisms force on users is the organisation of a fixed taxonomy based on indivisible representations of concepts. Inevitably, indivisible representations of complex concepts conflate several ideas, and since any fixed organisation of such complex ideas is fundamentally arbitrary, choices can only be made on the basis of the current application...avoiding such decisions is an important technique for achieving reuse.

64Wednesday, 30 November 2011

Page 65: More language - University of Manchesterstudentnet.cs.manchester.ac.uk/pgt/2011/COMP60421/slides/week3-language.pdf– TBox, ABox, (RBox, DataBox) – Different logics have • Different

Coordination Example• Imagine a simple taxonomy

– Nuts and nut allergy

• Notice the lack of specificity– No PecanAllergy, HazelnutAllergy, etc.– Why not?

• Consider a form using this– Very simple– We have a patient with an almond allergy

• Do we select– Allergy?

65Wednesday, 30 November 2011

Page 66: More language - University of Manchesterstudentnet.cs.manchester.ac.uk/pgt/2011/COMP60421/slides/week3-language.pdf– TBox, ABox, (RBox, DataBox) – Different logics have • Different

Coordination Example• Imagine a simple taxonomy

– Nuts and nut allergy

• Notice the lack of specificity– No PecanAllergy, HazelnutAllergy, etc.– Why not?

• Consider a form using this– Very simple– We have a patient with an almond allergy

• Do we select– Allergy?– Nut Allergy?

66Wednesday, 30 November 2011

Page 67: More language - University of Manchesterstudentnet.cs.manchester.ac.uk/pgt/2011/COMP60421/slides/week3-language.pdf– TBox, ABox, (RBox, DataBox) – Different logics have • Different

Coordination Example• Imagine a simple taxonomy

– Nuts and nut allergy

• Notice the lack of specificity– No PecanAllergy, HazelnutAllergy, etc.– Why not?

• Consider a form using this– Very simple– We have a patient with an almond allergy

• Do we select– Allergy?– Nut Allergy?– Other?

67Wednesday, 30 November 2011

Page 68: More language - University of Manchesterstudentnet.cs.manchester.ac.uk/pgt/2011/COMP60421/slides/week3-language.pdf– TBox, ABox, (RBox, DataBox) – Different logics have • Different

Coordination Example• All choices have problems

– The fact of (divergent) choice– The uncontrolled bits

• Can definitions help?–

68Wednesday, 30 November 2011

Page 69: More language - University of Manchesterstudentnet.cs.manchester.ac.uk/pgt/2011/COMP60421/slides/week3-language.pdf– TBox, ABox, (RBox, DataBox) – Different logics have • Different

Coordination by definition• Note that now we have some expressive power

69Wednesday, 30 November 2011

Page 70: More language - University of Manchesterstudentnet.cs.manchester.ac.uk/pgt/2011/COMP60421/slides/week3-language.pdf– TBox, ABox, (RBox, DataBox) – Different logics have • Different

Coordination by definition• UI might be tricky...

70Wednesday, 30 November 2011

Page 71: More language - University of Manchesterstudentnet.cs.manchester.ac.uk/pgt/2011/COMP60421/slides/week3-language.pdf– TBox, ABox, (RBox, DataBox) – Different logics have • Different

Runtime vs. Development Time• We can see benefits at each stage• Each stage has different requirements

– E.g., Runtime has higher performance demands– E.g., Development time has higher correctness demands

• More on this to come!

71Wednesday, 30 November 2011