railway
Segment
length
semaphores
neighbors
TrackElement
monitoredBy
connectsTo
Switch
currentPosition
positions
left
right
from
Route
entry
follows
exit
gathers
Semaphore
signal
SwitchPosition
target
position
route
RailwayElement
_id
Sensor
monitors
Signal
FAILURE
FAILURE
STOP
STOP
GO
GO
Position
FAILURE
FAILURE
STRAIGHT
STRAIGHT
DIVERGING
DIVERGING
RailwayContainer
routes
regions
Region
elements
sensors
<?xml version="1.0" encoding="UTF-8"?>
<ecore:EPackage xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
    xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" name="railway" nsURI="http://www.semanticweb.org/ontologies/2015/trainbenchmark"
    nsPrefix="hu.bme.mit.trainbenchmark">
  <eClassifiers xsi:type="ecore:EClass" name="Segment" eSuperTypes="#//TrackElement">
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="length" lowerBound="1"
        eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="semaphores" upperBound="-1"
        eType="#//Semaphore" containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="neighbors" lowerBound="2"
        upperBound="2" eType="#//TrackElement"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="TrackElement" abstract="true" eSuperTypes="#//RailwayElement">
    <eStructuralFeatures xsi:type="ecore:EReference" name="monitoredBy" upperBound="-1"
        eType="#//Sensor" eOpposite="#//Sensor/monitors"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="connectsTo" upperBound="-1"
        eType="#//TrackElement"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="Switch" eSuperTypes="#//TrackElement">
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="currentPosition" lowerBound="1"
        eType="#//Position"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="positions" upperBound="-1"
        eType="#//SwitchPosition" eOpposite="#//SwitchPosition/target"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="left" lowerBound="1" eType="#//TrackElement"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="right" lowerBound="1" eType="#//TrackElement"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="from" lowerBound="1" eType="#//TrackElement"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="Route" eSuperTypes="#//RailwayElement">
    <eStructuralFeatures xsi:type="ecore:EReference" name="entry" lowerBound="1" eType="#//Semaphore"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="follows" upperBound="-1"
        eType="#//SwitchPosition" containment="true" eOpposite="#//SwitchPosition/route"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="exit" lowerBound="1" eType="#//Semaphore"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="gathers" lowerBound="2"
        upperBound="-1" eType="#//Sensor"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="Semaphore" eSuperTypes="#//RailwayElement">
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="signal" lowerBound="1"
        eType="#//Signal"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="SwitchPosition" eSuperTypes="#//RailwayElement">
    <eStructuralFeatures xsi:type="ecore:EReference" name="target" lowerBound="1"
        eType="#//Switch" eOpposite="#//Switch/positions"/>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="position" lowerBound="1"
        eType="#//Position"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="route" lowerBound="1" eType="#//Route"
        eOpposite="#//Route/follows"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="RailwayElement" abstract="true">
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="_id" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="Sensor" eSuperTypes="#//RailwayElement">
    <eStructuralFeatures xsi:type="ecore:EReference" name="monitors" upperBound="-1"
        eType="#//TrackElement" eOpposite="#//TrackElement/monitoredBy"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EEnum" name="Signal">
    <eLiterals name="FAILURE" value="1"/>
    <eLiterals name="STOP"/>
    <eLiterals name="GO" value="2"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EEnum" name="Position">
    <eLiterals name="FAILURE"/>
    <eLiterals name="STRAIGHT" value="1"/>
    <eLiterals name="DIVERGING" value="2"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="RailwayContainer">
    <eStructuralFeatures xsi:type="ecore:EReference" name="routes" upperBound="-1"
        eType="#//Route" containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="regions" upperBound="-1"
        eType="#//Region" containment="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="Region" eSuperTypes="#//RailwayElement">
    <eStructuralFeatures xsi:type="ecore:EReference" name="elements" upperBound="-1"
        eType="#//TrackElement" containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="sensors" upperBound="-1"
        eType="#//Sensor" containment="true"/>
  </eClassifiers>
</ecore:EPackage>

{"directed":true,"nodes":[{"nsPrefix":"hu.bme.mit.trainbenchmark","nsURI":"http://www.semanticweb.org/ontologies/2015/trainbenchmark","name":"railway","id":0,"eClass":"EPackage"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Segment","instanceClass":null,"abstract":false,"id":1,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"TrackElement","instanceClass":null,"abstract":true,"id":2,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Switch","instanceClass":null,"abstract":false,"id":3,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Route","instanceClass":null,"abstract":false,"id":4,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Semaphore","instanceClass":null,"abstract":false,"id":5,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"SwitchPosition","instanceClass":null,"abstract":false,"id":6,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"RailwayElement","instanceClass":null,"abstract":true,"id":7,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Sensor","instanceClass":null,"abstract":false,"id":8,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"instanceClassName":null,"name":"Signal","instanceClass":null,"id":9,"serializable":true,"eClass":"EEnum"},{"instanceTypeName":null,"instanceClassName":null,"name":"Position","instanceClass":null,"id":10,"serializable":true,"eClass":"EEnum"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"RailwayContainer","instanceClass":null,"abstract":false,"id":11,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Region","instanceClass":null,"abstract":false,"id":12,"interface":false,"eClass":"EClass"},{"ordered":true,"upperBound":1,"defaultValue":0,"volatile":false,"many":false,"required":true,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"length","changeable":true,"lowerBound":1,"iD":false,"id":13,"derived":false},{"container":false,"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"semaphores","changeable":true,"resolveProxies":true,"lowerBound":0,"id":14,"derived":false},{"container":false,"ordered":true,"upperBound":2,"defaultValue":null,"volatile":false,"many":true,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"neighbors","changeable":true,"resolveProxies":true,"lowerBound":2,"id":15,"derived":false},{"id":16,"eClass":"EGenericType"},{"id":17,"eClass":"EGenericType"},{"id":18,"eClass":"EGenericType"},{"id":19,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"monitoredBy","changeable":true,"resolveProxies":true,"lowerBound":0,"id":20,"derived":false},{"container":false,"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"connectsTo","changeable":true,"resolveProxies":true,"lowerBound":0,"id":21,"derived":false},{"id":22,"eClass":"EGenericType"},{"id":23,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"monitors","changeable":true,"resolveProxies":true,"lowerBound":0,"id":24,"derived":false},{"id":25,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"volatile":false,"many":false,"required":true,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"currentPosition","changeable":true,"lowerBound":1,"iD":false,"id":26,"derived":false},{"container":false,"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"positions","changeable":true,"resolveProxies":true,"lowerBound":0,"id":27,"derived":false},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"left","changeable":true,"resolveProxies":true,"lowerBound":1,"id":28,"derived":false},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"right","changeable":true,"resolveProxies":true,"lowerBound":1,"id":29,"derived":false},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"from","changeable":true,"resolveProxies":true,"lowerBound":1,"id":30,"derived":false},{"id":31,"eClass":"EGenericType"},{"id":32,"eClass":"EGenericType"},{"id":33,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"target","changeable":true,"resolveProxies":true,"lowerBound":1,"id":34,"derived":false},{"id":35,"eClass":"EGenericType"},{"id":36,"eClass":"EGenericType"},{"id":37,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"entry","changeable":true,"resolveProxies":true,"lowerBound":1,"id":38,"derived":false},{"container":false,"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"follows","changeable":true,"resolveProxies":true,"lowerBound":0,"id":39,"derived":false},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"exit","changeable":true,"resolveProxies":true,"lowerBound":1,"id":40,"derived":false},{"container":false,"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"gathers","changeable":true,"resolveProxies":true,"lowerBound":2,"id":41,"derived":false},{"id":42,"eClass":"EGenericType"},{"id":43,"eClass":"EGenericType"},{"id":44,"eClass":"EGenericType"},{"container":true,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"route","changeable":true,"resolveProxies":true,"lowerBound":1,"id":45,"derived":false},{"id":46,"eClass":"EGenericType"},{"id":47,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"volatile":false,"many":false,"required":true,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"signal","changeable":true,"lowerBound":1,"iD":false,"id":48,"derived":false},{"id":49,"eClass":"EGenericType"},{"id":50,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"volatile":false,"many":false,"required":true,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"position","changeable":true,"lowerBound":1,"iD":false,"id":51,"derived":false},{"id":52,"eClass":"EGenericType"},{"id":53,"eClass":"EGenericType"},{"id":54,"eClass":"EGenericType"},{"id":55,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"defaultValue":0,"volatile":false,"many":false,"required":false,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"_id","changeable":true,"lowerBound":0,"iD":false,"id":56,"derived":false},{"id":57,"eClass":"EGenericType"},{"id":58,"eClass":"EGenericType"},{"id":59,"eClass":"EGenericType"},{"name":"FAILURE","id":60,"value":1,"literal":"FAILURE","eClass":"EEnumLiteral"},{"name":"STOP","id":61,"value":0,"literal":"STOP","eClass":"EEnumLiteral"},{"name":"GO","id":62,"value":2,"literal":"GO","eClass":"EEnumLiteral"},{"name":"FAILURE","id":63,"value":0,"literal":"FAILURE","eClass":"EEnumLiteral"},{"name":"STRAIGHT","id":64,"value":1,"literal":"STRAIGHT","eClass":"EEnumLiteral"},{"name":"DIVERGING","id":65,"value":2,"literal":"DIVERGING","eClass":"EEnumLiteral"},{"container":false,"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"routes","changeable":true,"resolveProxies":true,"lowerBound":0,"id":66,"derived":false},{"container":false,"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"regions","changeable":true,"resolveProxies":true,"lowerBound":0,"id":67,"derived":false},{"id":68,"eClass":"EGenericType"},{"id":69,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"elements","changeable":true,"resolveProxies":true,"lowerBound":0,"id":70,"derived":false},{"container":false,"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"sensors","changeable":true,"resolveProxies":true,"lowerBound":0,"id":71,"derived":false},{"id":72,"eClass":"EGenericType"},{"id":73,"eClass":"EGenericType"},{"id":74,"eClass":"EGenericType"}],"links":[{"source":0,"target":1},{"source":0,"target":2},{"source":0,"target":3},{"source":0,"target":4},{"source":0,"target":5},{"source":0,"target":6},{"source":0,"target":7},{"source":0,"target":8},{"source":0,"target":9},{"source":0,"target":10},{"source":0,"target":11},{"source":0,"target":12},{"source":1,"target":0},{"source":1,"target":2},{"source":1,"target":13},{"source":1,"target":14},{"source":1,"target":15},{"source":1,"target":16},{"source":13,"target":17},{"source":13,"target":1},{"source":14,"target":5},{"source":14,"target":18},{"source":14,"target":1},{"source":18,"target":5},{"source":15,"target":2},{"source":15,"target":19},{"source":15,"target":1},{"source":19,"target":2},{"source":16,"target":2},{"source":2,"target":0},{"source":2,"target":7},{"source":2,"target":20},{"source":2,"target":21},{"source":2,"target":22},{"source":20,"target":8},{"source":20,"target":23},{"source":20,"target":2},{"source":20,"target":24},{"source":23,"target":8},{"source":21,"target":2},{"source":21,"target":25},{"source":21,"target":2},{"source":25,"target":2},{"source":22,"target":7},{"source":3,"target":0},{"source":3,"target":2},{"source":3,"target":26},{"source":3,"target":27},{"source":3,"target":28},{"source":3,"target":29},{"source":3,"target":30},{"source":3,"target":31},{"source":26,"target":10},{"source":26,"target":32},{"source":26,"target":3},{"source":32,"target":10},{"source":27,"target":6},{"source":27,"target":33},{"source":27,"target":3},{"source":27,"target":34},{"source":33,"target":6},{"source":28,"target":2},{"source":28,"target":35},{"source":28,"target":3},{"source":35,"target":2},{"source":29,"target":2},{"source":29,"target":36},{"source":29,"target":3},{"source":36,"target":2},{"source":30,"target":2},{"source":30,"target":37},{"source":30,"target":3},{"source":37,"target":2},{"source":31,"target":2},{"source":4,"target":0},{"source":4,"target":7},{"source":4,"target":38},{"source":4,"target":39},{"source":4,"target":40},{"source":4,"target":41},{"source":4,"target":42},{"source":38,"target":5},{"source":38,"target":43},{"source":38,"target":4},{"source":43,"target":5},{"source":39,"target":6},{"source":39,"target":44},{"source":39,"target":4},{"source":39,"target":45},{"source":44,"target":6},{"source":40,"target":5},{"source":40,"target":46},{"source":40,"target":4},{"source":46,"target":5},{"source":41,"target":8},{"source":41,"target":47},{"source":41,"target":4},{"source":47,"target":8},{"source":42,"target":7},{"source":5,"target":0},{"source":5,"target":7},{"source":5,"target":48},{"source":5,"target":49},{"source":48,"target":9},{"source":48,"target":50},{"source":48,"target":5},{"source":50,"target":9},{"source":49,"target":7},{"source":6,"target":0},{"source":6,"target":7},{"source":6,"target":34},{"source":6,"target":51},{"source":6,"target":45},{"source":6,"target":52},{"source":34,"target":3},{"source":34,"target":53},{"source":34,"target":6},{"source":34,"target":27},{"source":53,"target":3},{"source":51,"target":10},{"source":51,"target":54},{"source":51,"target":6},{"source":54,"target":10},{"source":45,"target":4},{"source":45,"target":55},{"source":45,"target":6},{"source":45,"target":39},{"source":55,"target":4},{"source":52,"target":7},{"source":7,"target":0},{"source":7,"target":56},{"source":56,"target":57},{"source":56,"target":7},{"source":8,"target":0},{"source":8,"target":7},{"source":8,"target":24},{"source":8,"target":58},{"source":24,"target":2},{"source":24,"target":59},{"source":24,"target":8},{"source":24,"target":20},{"source":59,"target":2},{"source":58,"target":7},{"source":9,"target":0},{"source":9,"target":60},{"source":9,"target":61},{"source":9,"target":62},{"source":60,"target":9},{"source":61,"target":9},{"source":62,"target":9},{"source":10,"target":0},{"source":10,"target":63},{"source":10,"target":64},{"source":10,"target":65},{"source":63,"target":10},{"source":64,"target":10},{"source":65,"target":10},{"source":11,"target":0},{"source":11,"target":66},{"source":11,"target":67},{"source":66,"target":4},{"source":66,"target":68},{"source":66,"target":11},{"source":68,"target":4},{"source":67,"target":12},{"source":67,"target":69},{"source":67,"target":11},{"source":69,"target":12},{"source":12,"target":0},{"source":12,"target":7},{"source":12,"target":70},{"source":12,"target":71},{"source":12,"target":72},{"source":70,"target":2},{"source":70,"target":73},{"source":70,"target":12},{"source":73,"target":2},{"source":71,"target":8},{"source":71,"target":74},{"source":71,"target":12},{"source":74,"target":8},{"source":72,"target":7}],"multigraph":true}