How Ontologies and Rules Help to Advance Automobile Development - - PowerPoint PPT Presentation

• How Ontologies and

Rules Help to Advance Automobile Development RuleML 2007 Juergen Angele,

• ntoprise GmbH

• Ontoprise is a leading semantic software company.

Our goal is to make a company‘s know-how visible and reusable

• !"#$
• %

&& '&(%)&* '%+

,-&%'&.&

IFB

• /
• !
• "#$

%$$! &

• AI

01%12* *&% 2*1* &&**%%"3 '4& %*%

!'

5*%+&%.&

• 6

071 !&&("1 83 071&& %%% &*% &3 '9: '& ;%

• !('

!% '

'&<++:

) *

Railroad Object Train Steam Train Track

0+) &&=% *>.?"3

• #
• &&

@A

*

Mogul

Mogul Ski Race Mogul Emperor Mogul Train

(%)

narrow-gage standard gage

suitable for

) *

0+) %**%*' %&*; & **&&! *%*"3

Railroad Object Train Steam Train Track

• B

Mogul Mallet

gage width: 1435 mm gage width: 1067 mm suitable for suitable for

• '&@:A
• ;
• ;

*

*%*"3

IF gage width = 1435 THEN suitable for standard gage ELSE narrow gage

'&7-

)&)+,

• )&

.C-1'7D2#,EE"/"E#E.E&EF@A

:G%2&& 4 1&&!*2 * *2&& &4

+&+%H%+*

(

• I

! $!&%%4&%&*%&% &%!*%%! 2%&% +&2*%%&%& ( 1*&%%%& **& :&! 1&&

• Audi Valvelift System (AVS)
• 2 different Cam Contours for small and

large Valve Lift

• Increases Engine Efficiency

H

• Increases Engine Efficiency

(more Power, lower Fuel Consumption)

• Controlled by Engine ManagementSystem
• Deterministic Finite Automaton
• S1, S4 - small, large Valve Lift
• Transition Functions

• Observable Variables during HiL Tests
• Snapshots at different Times
• Ontology Reflects Data Structure recorded

during HiL Tests

H

• Introduces Terms as known to Experts

(e.g., engineSpeed)

&%

Documentation Requirement Specification, Descriptions, Functional Framework (Word, Excel, PDF) Expert knowledge

• Reverse Engineering

Interviews Collection of rules (natural language)

) **2

rules Ontology

rules (NL)

• rules

rule 1 rule 2 rule 3 rule n

Ontology advantages:

• Set of rules is extendable in an incremental way
• Rules are not hidden in program code.
• Rules are automatically explainable.

&

• /

) **2

ECU Specification: „If the engine speed is greater than 4000, the valve lift system must switch to S4 if it is in S1.” ?S[nextState->S4] <- ?S:Situation[state->S1, engineSpeed->?V] and

• 6

?S:Situation[state->S1, engineSpeed->?V] and ?V > 4000. Experts: „At idle speed the small valve lift must be used.“ ERROR(?S) <- ?S:Situation[state->S4, idle->1].

.

measurement Ontology and rules

• #

OntoBroker

Analysis result

+=*

• B

5*

$!%&

In situation s2 still state 4

• I

In situation s2 still state 4

• holds. In the situation

before state 4 hold as

• well. The rotary speed

was larger than the

• threshold. Therefore a

state transition should have happened.

)*.&%+*

*

• '%*&

%***& @+9!A

• 1&*

**&+9!

• .*%&

&*& **&*2

• I

I

340 kW Part_ID 340 kW has_Power Has_Part Engine, Motor Electronics M V8-340 controls

has_Power(Engine) < designed_for_power(Chassis)

Otherwise error

• (

..&*&2% &!*%!*&" J&*&* !&&!*%!* "3

• ;*&%&%&&*

%%*2 &&

• H=!%

2&&

• 2&&

')@'&A

I I I

340 kW designed_for_power Part_ID has_Part has_Part has_Part CAR Chassis, Under-carriage Body FW 4x4-587 SE 32-566 Part_ID

)&&*%

• ) *

:%!% '& K*&

Object Person Part Approval Employee External Filter

needs responsible Is_a Is_a Is_a Is_a

Testing

subtopic

)%%

• Engineer

name phone

document

Developer KAT DPF Rules:

Parts must be approved before you can test them embedded Only the Person responsible for a part can approve its testing

part_of synonym part_of

;E

Example Rule: The maximum power of the motor must not exceed the one of the brakes: Pmotor < Pbrakes

Menu

7&5&

, *&2@&*A &&@%**&A %@%&A *&@%A &

• /

& *! *4! &*%* *2 &* 1.%& *%* %

)'*ED$)D

• 6

)'*ED$)D

• #

7&*5&

,

• B

**

&

) / &&

&2&%&** &!*

&!

• &!

&%****%=** %*&& &*&&***

*%!&*&4&

***

.

LM+N"*

• I

LM+N"*