├── .gitignore ├── lib └── jgraphx-4.0.1.jar ├── pom.xml ├── run ├── runMac.sh ├── runWindows.bat ├── src └── main │ ├── java │ └── com │ │ └── comodide │ │ ├── ComodideConfiguration.java │ │ ├── axiomatization │ │ ├── AxiomManager.java │ │ ├── OWLAxAxiomFactory.java │ │ ├── OWLAxAxiomType.java │ │ └── SimpleAxiomParser.java │ │ ├── editor │ │ ├── BasicGraphEditor.java │ │ ├── ComodideEditor.java │ │ ├── ComodideEditorManager.java │ │ ├── EditorKeyboardHandler.java │ │ ├── EditorPalette.java │ │ ├── SDConnectPreview.java │ │ ├── SDConnectionHandler.java │ │ ├── SDConstants.java │ │ ├── SDTransferHandler.java │ │ ├── SchemaDiagram.java │ │ ├── SchemaDiagramComponent.java │ │ ├── ShadowBorder.java │ │ ├── changehandlers │ │ │ ├── LabelChangeHandler.java │ │ │ └── UpdateFromOntologyHandler.java │ │ └── model │ │ │ ├── ClassCell.java │ │ │ ├── ComodideCell.java │ │ │ ├── DatatypeCell.java │ │ │ ├── PropertyEdgeCell.java │ │ │ └── SubClassEdgeCell.java │ │ ├── exceptions │ │ ├── ComodideException.java │ │ ├── MultipleMatchesException.java │ │ └── NameClashException.java │ │ ├── messaging │ │ ├── ComodideMessage.java │ │ ├── ComodideMessageBus.java │ │ └── ComodideMessageHandler.java │ │ ├── patterns │ │ ├── Pattern.java │ │ ├── PatternCategory.java │ │ ├── PatternDocumentationFrame.java │ │ ├── PatternInstantiator.java │ │ ├── PatternLibrary.java │ │ ├── PatternTable.java │ │ ├── PatternTableModel.java │ │ └── PatternTransferable.java │ │ ├── rendering │ │ └── PositioningOperations.java │ │ ├── telemetry │ │ ├── TelemetryAgent.java │ │ ├── TelemetryMessage.java │ │ └── TelemetryUploader.java │ │ └── views │ │ ├── BFOView.java │ │ ├── ConfigurationView.java │ │ ├── EdgeInspectorView.java │ │ ├── EditorView.java │ │ ├── PatternSelectorView.java │ │ └── UpperAlignmentTool.java │ └── resources │ ├── images │ ├── actor.png │ ├── alignbottom.gif │ ├── aligncenter.gif │ ├── alignleft.gif │ ├── alignmiddle.gif │ ├── alignright.gif │ ├── aligntop.gif │ ├── arrow.gif │ ├── arrow.png │ ├── bell.png │ ├── block_end.gif │ ├── block_start.gif │ ├── bold.gif │ ├── bottom.gif │ ├── box.png │ ├── cancel_end.png │ ├── cancel_intermediate.png │ ├── center.gif │ ├── classic_end.gif │ ├── classic_start.gif │ ├── cloud.png │ ├── collapse.gif │ ├── connect.gif │ ├── connect.png │ ├── connector.gif │ ├── copy.gif │ ├── cube_green.png │ ├── cut.gif │ ├── cylinder.png │ ├── delete.gif │ ├── diagram.gif │ ├── diamond_end.gif │ ├── diamond_start.gif │ ├── doubleellipse.png │ ├── doublerectangle.png │ ├── down.gif │ ├── dude3.png │ ├── earth.png │ ├── ellipse.png │ ├── entity.gif │ ├── entity.png │ ├── error.png │ ├── event.png │ ├── event_end.png │ ├── event_intermediate.png │ ├── expand.gif │ ├── fillcolor.gif │ ├── fit.gif │ ├── font.gif │ ├── fontcolor.gif │ ├── fork.png │ ├── gear.png │ ├── group.gif │ ├── hexagon.png │ ├── hline.png │ ├── house.gif │ ├── house.png │ ├── image.gif │ ├── inclusive.png │ ├── italic.gif │ ├── left.gif │ ├── linecolor.gif │ ├── link.png │ ├── maximize.gif │ ├── merge.png │ ├── message.png │ ├── message_end.png │ ├── message_intermediate.png │ ├── middle.gif │ ├── minimize.gif │ ├── multiple.png │ ├── new.gif │ ├── open.gif │ ├── open_end.gif │ ├── open_start.gif │ ├── outline.gif │ ├── oval_end.gif │ ├── oval_start.gif │ ├── package.png │ ├── pagesetup.gif │ ├── pan.gif │ ├── paste.gif │ ├── plain.gif │ ├── preferences.gif │ ├── preview.gif │ ├── print.gif │ ├── printer.png │ ├── rectangle.png │ ├── redo.gif │ ├── resize.gif │ ├── rhombus.png │ ├── right.gif │ ├── rounded.png │ ├── rule.png │ ├── save.gif │ ├── saveas.gif │ ├── select.gif │ ├── server.png │ ├── straight.gif │ ├── straight.png │ ├── swimlane.png │ ├── terminate.png │ ├── timer.png │ ├── toback.gif │ ├── tofront.gif │ ├── top.gif │ ├── tree.gif │ ├── triangle.png │ ├── undo.gif │ ├── ungroup.gif │ ├── up.gif │ ├── vertical.gif │ ├── vertical.png │ ├── workplace.png │ ├── wrench.png │ ├── zoom.gif │ ├── zoomactual.gif │ ├── zoomin.gif │ └── zoomout.gif │ ├── modl_bak │ ├── ModlIndex.owl │ └── patterns │ │ ├── agentrole.owl │ │ ├── aggregation.owl │ │ ├── event.owl │ │ ├── explicittyping.owl │ │ ├── identifier.owl │ │ ├── name.owl │ │ ├── participantrole.owl │ │ ├── provenance.owl │ │ ├── quantities.owl │ │ ├── reification.owl │ │ ├── sequence.owl │ │ ├── spatialextent.owl │ │ ├── spatiotemporalextent.owl │ │ ├── stub.owl │ │ ├── temporalextent.owl │ │ ├── trajectory.owl │ │ └── tree.owl │ ├── modls │ ├── csmodl │ │ ├── README.md │ │ ├── csmodl.owl │ │ └── patterns │ │ │ ├── Air.ttl │ │ │ ├── Area.ttl │ │ │ ├── Art.ttl │ │ │ ├── Back.ttl │ │ │ ├── Body.ttl │ │ │ ├── Book.ttl │ │ │ ├── Business.ttl │ │ │ ├── Car.ttl │ │ │ ├── Case.ttl │ │ │ ├── Chair.ttl │ │ │ ├── Change.ttl │ │ │ ├── Child.ttl │ │ │ ├── City.ttl │ │ │ ├── Community.ttl │ │ │ ├── Company.ttl │ │ │ ├── Couch.ttl │ │ │ ├── Country.ttl │ │ │ ├── Day.ttl │ │ │ ├── Door.ttl │ │ │ ├── Education.ttl │ │ │ ├── End.ttl │ │ │ ├── Eye.ttl │ │ │ ├── Face.ttl │ │ │ ├── Fact.ttl │ │ │ ├── Family.ttl │ │ │ ├── Father.ttl │ │ │ ├── Force.ttl │ │ │ ├── Friend.ttl │ │ │ ├── Game.ttl │ │ │ ├── Girl.ttl │ │ │ ├── Government.ttl │ │ │ ├── Group.ttl │ │ │ ├── Guy.ttl │ │ │ ├── Hand.ttl │ │ │ ├── Head.ttl │ │ │ ├── Health.ttl │ │ │ ├── History.ttl │ │ │ ├── Home.ttl │ │ │ ├── Hour.ttl │ │ │ ├── House.ttl │ │ │ ├── Idea.ttl │ │ │ ├── Information.ttl │ │ │ ├── Issue.ttl │ │ │ ├── Job.ttl │ │ │ ├── Kid.ttl │ │ │ ├── Kind.ttl │ │ │ ├── Law.ttl │ │ │ ├── Level.ttl │ │ │ ├── Life.ttl │ │ │ ├── Line.ttl │ │ │ ├── Lot.ttl │ │ │ ├── Loveseat.ttl │ │ │ ├── Man.ttl │ │ │ ├── Member.ttl │ │ │ ├── Minute.ttl │ │ │ ├── Moment.ttl │ │ │ ├── Money.ttl │ │ │ ├── Month.ttl │ │ │ ├── Morning.ttl │ │ │ ├── Mother.ttl │ │ │ ├── Name.ttl │ │ │ ├── Night.ttl │ │ │ ├── Number.ttl │ │ │ ├── Office.ttl │ │ │ ├── Others.ttl │ │ │ ├── Parent.ttl │ │ │ ├── Part.ttl │ │ │ ├── Party.ttl │ │ │ ├── People.ttl │ │ │ ├── Person.ttl │ │ │ ├── Place.ttl │ │ │ ├── Point.ttl │ │ │ ├── Power.ttl │ │ │ ├── President.ttl │ │ │ ├── Problem.ttl │ │ │ ├── Program.ttl │ │ │ ├── Question.ttl │ │ │ ├── Reason.ttl │ │ │ ├── Research.ttl │ │ │ ├── Result.ttl │ │ │ ├── Right.ttl │ │ │ ├── Room.ttl │ │ │ ├── School.ttl │ │ │ ├── Service.ttl │ │ │ ├── Side.ttl │ │ │ ├── Sofa.ttl │ │ │ ├── State.ttl │ │ │ ├── Story.ttl │ │ │ ├── Student.ttl │ │ │ ├── Study.ttl │ │ │ ├── System.ttl │ │ │ ├── Teacher.ttl │ │ │ ├── Team.ttl │ │ │ ├── Thing.ttl │ │ │ ├── Time.ttl │ │ │ ├── War.ttl │ │ │ ├── Water.ttl │ │ │ ├── Way.ttl │ │ │ ├── Week.ttl │ │ │ ├── Woman.ttl │ │ │ ├── Word.ttl │ │ │ ├── Work.ttl │ │ │ ├── World.ttl │ │ │ ├── Year.ttl │ │ │ ├── chair.ttl │ │ │ └── schema-diagrams │ │ │ └── Air.graphml │ ├── easy-ai │ │ ├── LICENSE │ │ ├── README.md │ │ ├── documentation │ │ │ ├── 1a-axioms.tex │ │ │ ├── 1b-axioms.tex │ │ │ ├── 1c-axioms.tex │ │ │ ├── 1d-axioms.tex │ │ │ ├── 2a-axioms.tex │ │ │ ├── 2b-axioms.tex │ │ │ ├── 2c-axioms.tex │ │ │ ├── 2d-axioms.tex │ │ │ ├── output-1a.html │ │ │ ├── output-1b.html │ │ │ ├── output-1c.html │ │ │ ├── output-1d.html │ │ │ ├── output-2a.html │ │ │ ├── output-2b.html │ │ │ ├── output-2c.html │ │ │ └── output-2d.html │ │ ├── easy-ai-index.ttl │ │ ├── schema-diagrams │ │ │ ├── 1a-elementary-pattern │ │ │ │ └── 1a-elementary-pattern.graphml │ │ │ ├── 1a-example │ │ │ │ └── 1a-example.graphml │ │ │ ├── 1b-elementary-pattern │ │ │ │ └── 1b-elementary-pattern.graphml │ │ │ ├── 1c-elementary-pattern │ │ │ │ └── 1c-elementary-pattern.graphml │ │ │ ├── 1d-elementary-pattern │ │ │ │ └── 1d-elementary-pattern.graphml │ │ │ ├── 2a-elementary-pattern │ │ │ │ └── 2a-elementary-pattern.graphml │ │ │ ├── 2b-elementary-pattern │ │ │ │ └── 2b-elementary-pattern.graphml │ │ │ ├── 2c-elementary-pattern │ │ │ │ └── 2c-elementary-pattern.graphml │ │ │ ├── 2d-elementary-pattern │ │ │ │ └── 2d-elementary-pattern.graphml │ │ │ ├── correspondence-diagrams │ │ │ │ ├── 1a-elementary-pattern │ │ │ │ │ └── 1a-easy-ai.graphml │ │ │ │ ├── 1ab-easy-ai │ │ │ │ │ └── 1ab-easy-ai.graphml │ │ │ │ ├── 1b-elementary-pattern │ │ │ │ │ └── 1b-easy-ai.graphml │ │ │ │ ├── 1c-elementary-pattern │ │ │ │ │ └── 1c-easy-ai.graphml │ │ │ │ ├── 1d-elementary-pattern │ │ │ │ │ └── 1d-easy-ai.graphml │ │ │ │ ├── 2a-elementary-pattern │ │ │ │ │ └── 2a-easy-ai.graphml │ │ │ │ ├── 2b-elementary-pattern │ │ │ │ │ └── 2b-easy-ai.graphml │ │ │ │ ├── 2c-elementary-pattern │ │ │ │ │ └── 2c-easy-ai.graphml │ │ │ │ └── 2d-elementary-pattern │ │ │ │ │ └── 2d-easy-ai.graphml │ │ │ ├── easy-ai │ │ │ │ ├── easy-ai-schema-diagram.graphml │ │ │ │ ├── nen-accepts.graphml │ │ │ │ ├── nen-performsInputRole.graphml │ │ │ │ ├── nen-performsOutputRole.graphml │ │ │ │ └── nen-produces.graphml │ │ │ └── roomba-rl-use-case │ │ │ │ └── roomba-rl-use-case.graphml │ │ └── schema │ │ │ ├── 1a-easy-ai │ │ │ └── 1a-easy-ai-schema.ttl │ │ │ ├── 1a-example.ttl │ │ │ ├── 1ab-easy-ai │ │ │ └── 1ab-easy-ai-schema.ttl │ │ │ ├── 1b-easy-ai │ │ │ └── 1b-easy-ai-schema.ttl │ │ │ ├── 1c-easy-ai │ │ │ └── 1c-easy-ai-schema.ttl │ │ │ ├── 1d-easy-ai │ │ │ └── 1d-easy-ai-schema.ttl │ │ │ ├── 2a-easy-ai │ │ │ └── 2a-easy-ai-schema.ttl │ │ │ ├── 2b-easy-ai │ │ │ └── 2b-easy-ai-schema.ttl │ │ │ ├── 2c-easy-ai │ │ │ └── 2c-easy-ai-schema.ttl │ │ │ ├── 2d-easy-ai │ │ │ └── 2d-easy-ai-schema.ttl │ │ │ └── all-together-easy-ai │ │ │ └── easy-ai-schema.ttl │ └── modl │ │ ├── ModlIndex.owl │ │ ├── bfo.owl │ │ ├── diagrams │ │ ├── agentrole.png │ │ ├── aggregation.png │ │ ├── event.png │ │ ├── explicittyping.png │ │ ├── identifier.png │ │ ├── name.png │ │ ├── participantrole.png │ │ ├── provenance.png │ │ ├── quantities.png │ │ ├── reification.png │ │ ├── sequence.png │ │ ├── spatialextent.png │ │ ├── spatiotemporalextent.png │ │ ├── stub.png │ │ ├── temporalextent.png │ │ ├── trajectory.png │ │ └── tree.png │ │ ├── dolce.owl │ │ ├── gfo.owl │ │ └── patterns │ │ ├── agentrole.owl │ │ ├── aggregation.owl │ │ ├── event.owl │ │ ├── explicittyping.owl │ │ ├── identifier.owl │ │ ├── name.owl │ │ ├── participantrole.owl │ │ ├── provenance.owl │ │ ├── quantities.owl │ │ ├── reification.owl │ │ ├── sequence.owl │ │ ├── spatialextent.owl │ │ ├── spatiotemporalextent.owl │ │ ├── stub.owl │ │ ├── temporalextent.owl │ │ ├── trajectory.owl │ │ └── tree.owl │ ├── plugin.xml │ ├── resources │ ├── basic-style.xml │ ├── comodide-style.xml │ ├── default-style.xml │ ├── editor.properties │ ├── editor_de.properties │ ├── editor_es.properties │ ├── editor_fr.properties │ ├── editor_it.properties │ ├── editor_ja.properties │ ├── editor_nl.properties │ ├── editor_pt.properties │ ├── editor_ru.properties │ └── editor_zh-CN.properties │ ├── shapes.xml │ └── viewconfig-CoModIDETab.xml └── update.properties /.gitignore: -------------------------------------------------------------------------------- 1 | # macOS 2 | .DS_Store 3 | 4 | # Eclipse 5 | .settings 6 | .project 7 | .classpath 8 | 9 | # Maven 10 | target/ 11 | 12 | # Intellij 13 | .idea/ 14 | CoModIDE.iml 15 | 16 | # Other Java stuff 17 | *.jar 18 | !lib/*.jar 19 | *.class 20 | 21 | # run script 22 | run.sh 23 | run 24 | runMac.sh 25 | runWindows.bat 26 | -------------------------------------------------------------------------------- /lib/jgraphx-4.0.1.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/lib/jgraphx-4.0.1.jar -------------------------------------------------------------------------------- /run: -------------------------------------------------------------------------------- 1 | mvn clean install -e 2 | rm ../protege/plugins/CoModIDE-1.1.1.jar 3 | cp ./target/CoModIDE-1.1.1.jar ../protege/plugins 4 | ../protege/run.sh 5 | -------------------------------------------------------------------------------- /runMac.sh: -------------------------------------------------------------------------------- 1 | PROTEGE_PATH=/Applications/Protégé.app 2 | PROTEGE_PLUGINS_PATH=$PROTEGE_PATH/Contents/Java/plugins 3 | mvn clean install 4 | rm $PROTEGE_PLUGINS_PATH/CoModIDE-1.1.1.jar 5 | cp ./target/CoModIDE-1.1.1.jar $PROTEGE_PLUGINS_PATH/ 6 | open $PROTEGE_PATH 7 | -------------------------------------------------------------------------------- /runWindows.bat: -------------------------------------------------------------------------------- 1 | set PROTEGE_PATH="C:\Program Files\Protege-5.5.0\run.bat" 2 | set PROTEGE_PLUGINS_PATH="C:\Program Files\Protege-5.5.0\plugins\" 3 | del %PROTEGE_PLUGINS_PATH%CoModIDE-1.1.1.jar 4 | copy target\CoModIDE-1.1.1.jar %PROTEGE_PLUGINS_PATH% 5 | %PROTEGE_PATH% 6 | -------------------------------------------------------------------------------- /src/main/java/com/comodide/axiomatization/OWLAxAxiomType.java: -------------------------------------------------------------------------------- 1 | package com.comodide.axiomatization; 2 | 3 | public enum OWLAxAxiomType 4 | { 5 | //@formatter:off 6 | GLOBAL_DOMAIN("Global domain"), 7 | SCOPED_DOMAIN("Scoped domain"), 8 | GLOBAL_RANGE("Global Range"), 9 | SCOPED_RANGE("Scoped Range"), 10 | EXISTENTIAL("Existential"), 11 | INVERSE_EXISTENTIAL("Inverse Existential"), 12 | FUNCTIONAL_ROLE("Functional Role"), 13 | QUALIFIED_FUNCTIONAL_ROLE("Qualified Functional Role"), 14 | SCOPED_FUNCTIONAL_ROLE("Scoped Functional Role"), 15 | QUALIFIED_SCOPED_FUNCTIONAL_ROLE("Qualified Scoped Functional Role"), 16 | INVERSE_FUNCTIONAL_ROLE("Inverse Functional Role"), 17 | INVERSE_QUALIFIED_FUNCTIONAL_ROLE("Inverse Qualified Functional Role"), 18 | INVERSE_SCOPED_FUNCTIONAL_ROLE("Inverse Scoped Functional Role"), 19 | INVERSE_QUALIFIED_SCOPED_FUNCTIONAL_ROLE("Inverse Qualified Scoped Functional Role"), 20 | STRUCTURAL_TAUTOLOGY("Structural Tautology"); 21 | //@formatter:on 22 | 23 | private String axiomType; 24 | 25 | OWLAxAxiomType(String axiomType) 26 | { 27 | this.axiomType = axiomType; 28 | } 29 | 30 | public String getAxiomType() 31 | { 32 | return this.axiomType; 33 | } 34 | 35 | public static OWLAxAxiomType fromString(String owlAxAxiomType) 36 | { 37 | for (OWLAxAxiomType oaat : OWLAxAxiomType.values()) 38 | { 39 | if (oaat.getAxiomType().equalsIgnoreCase(owlAxAxiomType)) 40 | return oaat; 41 | } 42 | 43 | throw new IllegalArgumentException("The OWLAxAxiomType was not found: " + owlAxAxiomType); 44 | } 45 | } 46 | -------------------------------------------------------------------------------- /src/main/java/com/comodide/editor/ComodideEditorManager.java: -------------------------------------------------------------------------------- 1 | package com.comodide.editor; 2 | 3 | import java.util.List; 4 | 5 | import org.protege.editor.owl.model.OWLModelManager; 6 | import org.protege.editor.owl.model.event.EventType; 7 | import org.protege.editor.owl.model.event.OWLModelManagerChangeEvent; 8 | import org.protege.editor.owl.model.event.OWLModelManagerListener; 9 | import org.semanticweb.owlapi.model.OWLException; 10 | import org.semanticweb.owlapi.model.OWLOntology; 11 | import org.semanticweb.owlapi.model.OWLOntologyChange; 12 | import org.semanticweb.owlapi.model.OWLOntologyChangeListener; 13 | import com.comodide.editor.changehandlers.UpdateFromOntologyHandler; 14 | 15 | public class ComodideEditorManager implements OWLOntologyChangeListener, OWLModelManagerListener 16 | { 17 | private OWLOntology presentlyRenderedOntology; 18 | private SchemaDiagram schemaDiagram; 19 | private final UpdateFromOntologyHandler updateFromOntologyHandler; 20 | private final OWLModelManager modelManager; 21 | 22 | public SchemaDiagram getSchemaDiagram() { 23 | return schemaDiagram; 24 | } 25 | 26 | public ComodideEditorManager(OWLModelManager modelManager) 27 | { 28 | // Used to keep track of changes and clearing/re-rendering editor 29 | this.modelManager = modelManager; 30 | this.modelManager.addListener(this); 31 | this.presentlyRenderedOntology = modelManager.getActiveOntology(); 32 | 33 | // Create a new schema diagram to work with 34 | this.schemaDiagram = new SchemaDiagram(modelManager); 35 | 36 | // Assign a handler that renders updates from the underlying ontology onto the schema diagram 37 | this.updateFromOntologyHandler = new UpdateFromOntologyHandler(schemaDiagram, modelManager); 38 | 39 | // Register as listener to detect changes in the ontology that trigger the above updates 40 | this.modelManager.addOntologyChangeListener(this); 41 | 42 | // Parse and render the active ontology initially 43 | this.RenderActiveOntology(); 44 | } 45 | 46 | /** 47 | * Render the currently active ontology. Naïve implementation that simply 48 | * pipes all ontology axioms through the UpdateFromOntologyHandler. 49 | */ 50 | private void RenderActiveOntology() { 51 | OWLOntology ontology = modelManager.getActiveOntology(); 52 | ontology.getAxioms().forEach(axiom -> { 53 | this.updateFromOntologyHandler.handleAddAxiom(axiom, ontology); 54 | }); 55 | } 56 | 57 | /** 58 | * Clear the schema diagram and redraw using the currently active ontology 59 | */ 60 | private void ClearAndRedraw() { 61 | this.schemaDiagram.Clear(); 62 | this.RenderActiveOntology(); 63 | this.presentlyRenderedOntology = modelManager.getActiveOntology(); 64 | } 65 | 66 | @Override 67 | public void ontologiesChanged(List changes) throws OWLException { 68 | changes.forEach(change -> { 69 | if (change.isAxiomChange()) { 70 | this.updateFromOntologyHandler.handle(change); 71 | } 72 | }); 73 | } 74 | 75 | @Override 76 | public void handleChange(OWLModelManagerChangeEvent event) { 77 | if (event.isType(EventType.ACTIVE_ONTOLOGY_CHANGED)) 78 | { 79 | if (!modelManager.getActiveOntology().equals(presentlyRenderedOntology)) { 80 | this.ClearAndRedraw(); 81 | } 82 | } 83 | } 84 | } 85 | -------------------------------------------------------------------------------- /src/main/java/com/comodide/editor/EditorKeyboardHandler.java: -------------------------------------------------------------------------------- 1 | package com.comodide.editor; 2 | 3 | import javax.swing.ActionMap; 4 | import javax.swing.InputMap; 5 | import javax.swing.JComponent; 6 | import javax.swing.KeyStroke; 7 | import javax.swing.UIManager; 8 | 9 | import com.mxgraph.swing.mxGraphComponent; 10 | import com.mxgraph.swing.handler.mxKeyboardHandler; 11 | import com.mxgraph.swing.util.mxGraphActions; 12 | 13 | /** 14 | * @author Administrator 15 | * 16 | */ 17 | public class EditorKeyboardHandler extends mxKeyboardHandler 18 | { 19 | 20 | /** 21 | * 22 | * @param graphComponent 23 | */ 24 | public EditorKeyboardHandler(mxGraphComponent graphComponent) 25 | { 26 | super(graphComponent); 27 | } 28 | 29 | /** 30 | * Return minimal input map binding delete and backspace keys to ActionMapKey "delete". 31 | */ 32 | @Override 33 | protected InputMap getInputMap(int condition) 34 | { 35 | InputMap map = null; 36 | 37 | if (condition == JComponent.WHEN_FOCUSED) 38 | { 39 | map = new InputMap(); 40 | 41 | map.put(KeyStroke.getKeyStroke("DELETE"), "delete"); 42 | map.put(KeyStroke.getKeyStroke("BACK_SPACE"), "delete"); 43 | } 44 | 45 | return map; 46 | } 47 | 48 | 49 | /** 50 | * Return minimal mapping between ActionMapKeys and actions. 51 | */ 52 | @Override 53 | protected ActionMap createActionMap() 54 | { 55 | ActionMap map = (ActionMap) UIManager.get("ScrollPane.actionMap"); 56 | 57 | map.put("delete", mxGraphActions.getDeleteAction()); 58 | 59 | return map; 60 | } 61 | 62 | } -------------------------------------------------------------------------------- /src/main/java/com/comodide/editor/SDConnectPreview.java: -------------------------------------------------------------------------------- 1 | package com.comodide.editor; 2 | 3 | import java.awt.Rectangle; 4 | import java.awt.event.MouseEvent; 5 | 6 | import com.mxgraph.model.mxICell; 7 | import com.mxgraph.swing.mxGraphComponent; 8 | import com.mxgraph.swing.handler.mxConnectPreview; 9 | import com.mxgraph.util.mxEvent; 10 | import com.mxgraph.util.mxEventObject; 11 | import com.mxgraph.view.mxGraph; 12 | 13 | public class SDConnectPreview extends mxConnectPreview 14 | { 15 | 16 | public SDConnectPreview(mxGraphComponent graphComponent) 17 | { 18 | super(graphComponent); 19 | } 20 | 21 | public Object stop(boolean commit, MouseEvent e) 22 | { 23 | Object result = (sourceState != null) ? sourceState.getCell() : null; 24 | 25 | if (previewState != null) 26 | { 27 | mxGraph graph = graphComponent.getGraph(); 28 | 29 | graph.getModel().beginUpdate(); 30 | try 31 | { 32 | mxICell cell = (mxICell) previewState.getCell(); 33 | Object src = cell.getTerminal(true); 34 | Object trg = cell.getTerminal(false); 35 | 36 | if (src != null) 37 | { 38 | ((mxICell) src).removeEdge(cell, true); 39 | } 40 | 41 | if (trg != null) 42 | { 43 | ((mxICell) trg).removeEdge(cell, false); 44 | } 45 | 46 | if (commit) 47 | { 48 | result = graph.addCell(cell, null, null, src, trg); 49 | } 50 | 51 | fireEvent(new mxEventObject(mxEvent.STOP, "event", e, "commit", 52 | commit, "cell", (commit) ? result : null)); 53 | 54 | // Clears the state before the model commits 55 | if (previewState != null) 56 | { 57 | Rectangle dirty = getDirtyRect(); 58 | graph.getView().clear(cell, false, true); 59 | previewState = null; 60 | 61 | if (!commit && dirty != null) 62 | { 63 | graphComponent.getGraphControl().repaint(dirty); 64 | } 65 | } 66 | } 67 | finally 68 | { 69 | graph.getModel().endUpdate(); 70 | } 71 | } 72 | 73 | sourceState = null; 74 | startPoint = null; 75 | 76 | return result; 77 | } 78 | } 79 | -------------------------------------------------------------------------------- /src/main/java/com/comodide/editor/SDConnectionHandler.java: -------------------------------------------------------------------------------- 1 | package com.comodide.editor; 2 | 3 | import org.slf4j.Logger; 4 | import org.slf4j.LoggerFactory; 5 | 6 | import com.mxgraph.swing.handler.mxConnectPreview; 7 | import com.mxgraph.swing.handler.mxConnectionHandler; 8 | 9 | public class SDConnectionHandler extends mxConnectionHandler 10 | { 11 | /** Bookkeeping */ 12 | private final Logger log = LoggerFactory.getLogger(SDConnectionHandler.class); 13 | private final String pf = "[CoModIDE:SDConnectionHandler] "; 14 | 15 | public SDConnectionHandler(SchemaDiagramComponent sdComponent) 16 | { 17 | super(sdComponent); 18 | log.info(pf + "SDConnectionHandler Initialized."); 19 | } 20 | 21 | public mxConnectPreview createConnectPreview() 22 | { 23 | return new SDConnectPreview(graphComponent); 24 | } 25 | } 26 | -------------------------------------------------------------------------------- /src/main/java/com/comodide/editor/SDConstants.java: -------------------------------------------------------------------------------- 1 | package com.comodide.editor; 2 | 3 | public class SDConstants 4 | { 5 | public static final String classStyle = "comodideClassVertex"; 6 | public static final String datatypeStyle = "comodideDatatypeVertex"; 7 | public static final String standardEdgeStyle = "comodideStandardEdge"; 8 | public static final String subclassEdgeStyle = "comodideSubclassEdge"; 9 | } 10 | -------------------------------------------------------------------------------- /src/main/java/com/comodide/editor/SchemaDiagramComponent.java: -------------------------------------------------------------------------------- 1 | package com.comodide.editor; 2 | 3 | import java.awt.Color; 4 | import java.awt.Point; 5 | import java.awt.event.MouseEvent; 6 | 7 | import org.protege.editor.owl.model.OWLModelManager; 8 | import org.slf4j.Logger; 9 | import org.slf4j.LoggerFactory; 10 | 11 | import com.comodide.messaging.ComodideMessage; 12 | import com.comodide.messaging.ComodideMessageBus; 13 | import com.mxgraph.model.mxICell; 14 | import com.mxgraph.model.mxIGraphModel; 15 | import com.mxgraph.swing.mxGraphComponent; 16 | import com.mxgraph.swing.handler.mxConnectionHandler; 17 | import com.mxgraph.view.mxGraph; 18 | 19 | public class SchemaDiagramComponent extends mxGraphComponent 20 | { 21 | /** Bookkeeping */ 22 | private static final long serialVersionUID = -6833603133512882012L; 23 | private static final Logger log = LoggerFactory.getLogger(SchemaDiagramComponent.class); 24 | 25 | public SchemaDiagramComponent(mxGraph graph, OWLModelManager modelManager) 26 | { 27 | super(graph); 28 | // Overwrite super created transfer handler 29 | super.setTransferHandler(new SDTransferHandler(modelManager)); 30 | 31 | // Sets switches typically used in an editor 32 | setPageVisible(true); 33 | setGridVisible(true); 34 | setToolTips(true); 35 | setEnterStopsCellEditing(true); 36 | super.connectionHandler.setCreateTarget(false); 37 | 38 | // Sets the background to white 39 | getViewport().setOpaque(true); 40 | getViewport().setBackground(Color.WHITE); 41 | } 42 | 43 | /** Override for injecting custom behavior into connection handling */ 44 | public mxConnectionHandler createConnectionHandler() 45 | { 46 | return new SDConnectionHandler(this); 47 | } 48 | 49 | /** 50 | * Overrides drop behaviour to set the cell style if the target is not a valid 51 | * drop target and the cells are of the same type (eg. both vertices or both 52 | * edges). 53 | */ 54 | public Object[] importCells(Object[] cells, double dx, double dy, Object target, Point location) 55 | { 56 | if (target == null && cells.length == 1 && location != null) 57 | { 58 | target = getCellAt(location.x, location.y); 59 | 60 | if (target instanceof mxICell && cells[0] instanceof mxICell) 61 | { 62 | mxICell targetCell = (mxICell) target; 63 | mxICell dropCell = (mxICell) cells[0]; 64 | 65 | if (targetCell.isVertex() == dropCell.isVertex() || targetCell.isEdge() == dropCell.isEdge()) 66 | { 67 | mxIGraphModel model = graph.getModel(); 68 | model.setStyle(target, model.getStyle(cells[0])); 69 | graph.setSelectionCell(target); 70 | 71 | return null; 72 | } 73 | } 74 | } 75 | 76 | return super.importCells(cells, dx, dy, target, location); 77 | } 78 | 79 | @Override 80 | public void selectCellForEvent(Object cell, MouseEvent e) 81 | { 82 | super.selectCellForEvent(cell, e); 83 | boolean result = ComodideMessageBus.getSingleton().sendMessage(ComodideMessage.CELL_SELECTED, cell); 84 | // log.info("[CoModIDE:SchemaDiagramComponent] " + result); 85 | } 86 | } 87 | -------------------------------------------------------------------------------- /src/main/java/com/comodide/editor/ShadowBorder.java: -------------------------------------------------------------------------------- 1 | /* 2 | * Copyright (c) 2001-2005, Gaudenz Alder 3 | * 4 | * All rights reserved. 5 | * 6 | * This file is licensed under the JGraph software license, a copy of which 7 | * will have been provided to you in the file LICENSE at the root of your 8 | * installation directory. If you are unable to locate this file please 9 | * contact JGraph sales for another copy. 10 | */ 11 | package com.comodide.editor; 12 | 13 | import java.awt.Color; 14 | import java.awt.Component; 15 | import java.awt.Graphics; 16 | import java.awt.Insets; 17 | import java.io.Serializable; 18 | 19 | import javax.swing.border.Border; 20 | 21 | /** 22 | * Border with a drop shadow. 23 | */ 24 | public class ShadowBorder implements Border, Serializable 25 | { 26 | /** 27 | * 28 | */ 29 | private static final long serialVersionUID = 6854989457150641240L; 30 | 31 | private Insets insets; 32 | 33 | public static ShadowBorder sharedInstance = new ShadowBorder(); 34 | 35 | private ShadowBorder() 36 | { 37 | insets = new Insets(0, 0, 2, 2); 38 | } 39 | 40 | public Insets getBorderInsets(Component c) 41 | { 42 | return insets; 43 | } 44 | 45 | public boolean isBorderOpaque() 46 | { 47 | return false; 48 | } 49 | 50 | public void paintBorder(Component c, Graphics g, int x, int y, int w, int h) 51 | { 52 | // choose which colors we want to use 53 | Color bg = c.getBackground(); 54 | 55 | if (c.getParent() != null) 56 | { 57 | bg = c.getParent().getBackground(); 58 | } 59 | 60 | if (bg != null) 61 | { 62 | Color mid = bg.darker(); 63 | Color edge = average(mid, bg); 64 | 65 | g.setColor(bg); 66 | g.drawLine(0, h - 2, w, h - 2); 67 | g.drawLine(0, h - 1, w, h - 1); 68 | g.drawLine(w - 2, 0, w - 2, h); 69 | g.drawLine(w - 1, 0, w - 1, h); 70 | 71 | // draw the drop-shadow 72 | g.setColor(mid); 73 | g.drawLine(1, h - 2, w - 2, h - 2); 74 | g.drawLine(w - 2, 1, w - 2, h - 2); 75 | 76 | g.setColor(edge); 77 | g.drawLine(2, h - 1, w - 2, h - 1); 78 | g.drawLine(w - 1, 2, w - 1, h - 2); 79 | } 80 | } 81 | 82 | private static Color average(Color c1, Color c2) 83 | { 84 | int red = c1.getRed() + (c2.getRed() - c1.getRed()) / 2; 85 | int green = c1.getGreen() + (c2.getGreen() - c1.getGreen()) / 2; 86 | int blue = c1.getBlue() + (c2.getBlue() - c1.getBlue()) / 2; 87 | return new Color(red, green, blue); 88 | } 89 | 90 | public static ShadowBorder getSharedInstance() 91 | { 92 | return sharedInstance; 93 | } 94 | } 95 | -------------------------------------------------------------------------------- /src/main/java/com/comodide/editor/model/ClassCell.java: -------------------------------------------------------------------------------- 1 | package com.comodide.editor.model; 2 | 3 | import org.semanticweb.owlapi.apibinding.OWLManager; 4 | import org.semanticweb.owlapi.model.EntityType; 5 | import org.semanticweb.owlapi.model.IRI; 6 | import org.semanticweb.owlapi.model.OWLClass; 7 | import org.semanticweb.owlapi.model.OWLEntity; 8 | import org.semanticweb.owlapi.vocab.OWLRDFVocabulary; 9 | 10 | import com.comodide.editor.SDConstants; 11 | import com.mxgraph.model.mxGeometry; 12 | 13 | public class ClassCell extends ComodideCell { 14 | 15 | private static final long serialVersionUID = 4458786422295695195L; 16 | private static final int WIDTH = 75; 17 | private static final int HEIGHT = 30; 18 | private static final String STYLE = SDConstants.classStyle; 19 | private static IRI DEFAULT_IRI = OWLRDFVocabulary.OWL_CLASS.getIRI(); 20 | private static EntityType DEFAULT_TYPE = EntityType.CLASS; 21 | 22 | public ClassCell() { 23 | this(OWLManager.getOWLDataFactory().getOWLEntity(DEFAULT_TYPE, DEFAULT_IRI), 24 | 0.0, 0.0); 25 | } 26 | 27 | public ClassCell(OWLEntity owlEntity, double positionX, double positionY) { 28 | super(owlEntity); 29 | 30 | this.geometry = new mxGeometry(positionX, positionY, WIDTH, HEIGHT); 31 | this.geometry.setRelative(false); 32 | 33 | this.style = STYLE; 34 | 35 | this.vertex = true; 36 | this.connectable = true; 37 | } 38 | 39 | public IRI defaultIRI() { 40 | return DEFAULT_IRI; 41 | } 42 | } 43 | -------------------------------------------------------------------------------- /src/main/java/com/comodide/editor/model/ComodideCell.java: -------------------------------------------------------------------------------- 1 | package com.comodide.editor.model; 2 | 3 | import org.semanticweb.owlapi.model.IRI; 4 | import org.semanticweb.owlapi.model.OWLEntity; 5 | import org.semanticweb.owlapi.util.ShortFormProvider; 6 | import org.semanticweb.owlapi.util.SimpleShortFormProvider; 7 | import com.mxgraph.model.mxCell; 8 | import com.mxgraph.model.mxGeometry; 9 | 10 | public abstract class ComodideCell extends mxCell { 11 | 12 | private static final long serialVersionUID = 8089893998863898138L; 13 | private static final ShortFormProvider shortFormProvider = new SimpleShortFormProvider(); 14 | private OWLEntity entity; 15 | 16 | public ComodideCell(OWLEntity owlEntity) { 17 | setEntity(owlEntity); 18 | this.geometry = new mxGeometry(); 19 | } 20 | 21 | public void setEntity(OWLEntity entity) { 22 | this.entity = entity; 23 | this.value = shortFormProvider.getShortForm(entity); 24 | } 25 | 26 | public OWLEntity getEntity() { 27 | return this.entity; 28 | } 29 | 30 | public boolean isNamed() { 31 | return !this.getEntity().getIRI().toString().equalsIgnoreCase(this.defaultIRI().toString()); 32 | } 33 | 34 | public abstract IRI defaultIRI(); 35 | } 36 | -------------------------------------------------------------------------------- /src/main/java/com/comodide/editor/model/DatatypeCell.java: -------------------------------------------------------------------------------- 1 | package com.comodide.editor.model; 2 | 3 | import org.semanticweb.owlapi.apibinding.OWLManager; 4 | import org.semanticweb.owlapi.model.EntityType; 5 | import org.semanticweb.owlapi.model.IRI; 6 | import org.semanticweb.owlapi.model.OWLDatatype; 7 | import org.semanticweb.owlapi.model.OWLEntity; 8 | import org.semanticweb.owlapi.vocab.OWLRDFVocabulary; 9 | 10 | import com.comodide.editor.SDConstants; 11 | import com.mxgraph.model.mxGeometry; 12 | 13 | public class DatatypeCell extends ComodideCell { 14 | 15 | private static final long serialVersionUID = 2351081035519057130L; 16 | 17 | private static final int WIDTH = 75; 18 | private static final int HEIGHT = 30; 19 | private static final String STYLE = SDConstants.datatypeStyle; 20 | private static IRI DEFAULT_IRI = OWLRDFVocabulary.OWL_DATATYPE.getIRI(); 21 | private static EntityType DEFAULT_TYPE = EntityType.DATATYPE; 22 | 23 | public DatatypeCell() { 24 | this(OWLManager.getOWLDataFactory().getOWLEntity(DEFAULT_TYPE, DEFAULT_IRI), 25 | 0.0, 0.0); 26 | } 27 | 28 | public DatatypeCell(OWLEntity owlEntity, double positionX, double positionY) { 29 | super(owlEntity); 30 | 31 | this.geometry = new mxGeometry(positionX, positionY, WIDTH, HEIGHT); 32 | this.geometry.setRelative(false); 33 | 34 | this.style = STYLE; 35 | 36 | this.vertex = true; 37 | this.connectable = true; 38 | } 39 | 40 | @Override 41 | public IRI defaultIRI() { 42 | return DEFAULT_IRI; 43 | } 44 | } 45 | -------------------------------------------------------------------------------- /src/main/java/com/comodide/editor/model/PropertyEdgeCell.java: -------------------------------------------------------------------------------- 1 | package com.comodide.editor.model; 2 | 3 | import org.semanticweb.owlapi.apibinding.OWLManager; 4 | import org.semanticweb.owlapi.model.EntityType; 5 | import org.semanticweb.owlapi.model.IRI; 6 | import org.semanticweb.owlapi.model.OWLObjectProperty; 7 | import org.semanticweb.owlapi.model.OWLProperty; 8 | import org.semanticweb.owlapi.vocab.OWLRDFVocabulary; 9 | 10 | import com.comodide.editor.SDConstants; 11 | import com.mxgraph.model.mxGeometry; 12 | 13 | public class PropertyEdgeCell extends ComodideCell { 14 | 15 | private static final long serialVersionUID = -8498156089004202454L; 16 | 17 | private static final String STYLE = SDConstants.standardEdgeStyle; 18 | private static IRI DEFAULT_IRI = OWLRDFVocabulary.RDF_PROPERTY.getIRI(); 19 | private static EntityType DEFAULT_TYPE = EntityType.OBJECT_PROPERTY; 20 | 21 | public PropertyEdgeCell() { 22 | this(OWLManager.getOWLDataFactory().getOWLEntity(DEFAULT_TYPE, DEFAULT_IRI)); 23 | } 24 | 25 | public PropertyEdgeCell(OWLProperty owlProperty) { 26 | super(owlProperty); 27 | 28 | this.geometry = new mxGeometry(); 29 | this.geometry.setRelative(true); 30 | 31 | this.style = STYLE; 32 | this.setEdge(true); 33 | } 34 | 35 | @Override 36 | public IRI defaultIRI() { 37 | return DEFAULT_IRI; 38 | } 39 | } 40 | -------------------------------------------------------------------------------- /src/main/java/com/comodide/editor/model/SubClassEdgeCell.java: -------------------------------------------------------------------------------- 1 | package com.comodide.editor.model; 2 | 3 | import org.semanticweb.owlapi.vocab.OWLRDFVocabulary; 4 | 5 | import com.comodide.editor.SDConstants; 6 | import com.mxgraph.model.mxCell; 7 | import com.mxgraph.model.mxGeometry; 8 | 9 | public class SubClassEdgeCell extends mxCell { 10 | 11 | private static final long serialVersionUID = -967537018367040076L; 12 | private static final String STYLE = SDConstants.subclassEdgeStyle; 13 | 14 | public SubClassEdgeCell() { 15 | this.id = OWLRDFVocabulary.RDFS_SUBCLASS_OF.getIRI().toString(); 16 | this.value = "subClassOf"; 17 | 18 | this.geometry = new mxGeometry(); 19 | this.geometry.setRelative(true); 20 | 21 | this.style = STYLE; 22 | this.setEdge(true); 23 | } 24 | } 25 | -------------------------------------------------------------------------------- /src/main/java/com/comodide/exceptions/ComodideException.java: -------------------------------------------------------------------------------- 1 | package com.comodide.exceptions; 2 | 3 | public class ComodideException extends Exception { 4 | 5 | private static final long serialVersionUID = -6597832690533670781L; 6 | 7 | public ComodideException(String message) { 8 | super(message); 9 | } 10 | } 11 | -------------------------------------------------------------------------------- /src/main/java/com/comodide/exceptions/MultipleMatchesException.java: -------------------------------------------------------------------------------- 1 | package com.comodide.exceptions; 2 | 3 | public class MultipleMatchesException extends ComodideException 4 | { 5 | /** Bookkeeping */ 6 | private static final long serialVersionUID = 4174799684271995954L; 7 | 8 | public MultipleMatchesException(String message) 9 | { 10 | super(message); 11 | } 12 | } 13 | -------------------------------------------------------------------------------- /src/main/java/com/comodide/exceptions/NameClashException.java: -------------------------------------------------------------------------------- 1 | package com.comodide.exceptions; 2 | 3 | public class NameClashException extends ComodideException { 4 | 5 | private static final long serialVersionUID = 2495645254863069252L; 6 | 7 | public NameClashException(String message) { 8 | super(message); 9 | } 10 | 11 | } 12 | -------------------------------------------------------------------------------- /src/main/java/com/comodide/messaging/ComodideMessage.java: -------------------------------------------------------------------------------- 1 | package com.comodide.messaging; 2 | 3 | public enum ComodideMessage 4 | { 5 | CELL_SELECTED; 6 | } 7 | -------------------------------------------------------------------------------- /src/main/java/com/comodide/messaging/ComodideMessageBus.java: -------------------------------------------------------------------------------- 1 | package com.comodide.messaging; 2 | 3 | import java.util.ArrayList; 4 | import java.util.HashMap; 5 | 6 | public class ComodideMessageBus 7 | { 8 | // The Singleton instance 9 | private static ComodideMessageBus cmb = null; 10 | 11 | // The message bus 12 | private HashMap> messageBus; 13 | 14 | private ComodideMessageBus() 15 | { 16 | this.messageBus = new HashMap<>(); 17 | for(ComodideMessage message : ComodideMessage.values()) 18 | { 19 | this.messageBus.put(message, new ArrayList()); 20 | } 21 | // Finish 22 | cmb = this; 23 | } 24 | 25 | public static ComodideMessageBus getSingleton() 26 | { 27 | if (cmb == null) 28 | { 29 | new ComodideMessageBus(); 30 | } 31 | 32 | return cmb; 33 | } 34 | 35 | public boolean sendMessage(ComodideMessage message, Object payload) 36 | { 37 | boolean result = false; 38 | 39 | // Handle the message 40 | if(this.messageBus.containsKey(message)) 41 | { 42 | ArrayList handlers = this.messageBus.get(message); 43 | 44 | for(ComodideMessageHandler handler : handlers) 45 | { 46 | boolean r = handler.handleComodideMessage(message, payload); 47 | result = r || result; 48 | } 49 | } 50 | 51 | // return the result, can be ignored 52 | return result; 53 | } 54 | 55 | public void registerHandler(ComodideMessage message, ComodideMessageHandler handler) 56 | { 57 | messageBus.get(message).add(handler); 58 | } 59 | } 60 | -------------------------------------------------------------------------------- /src/main/java/com/comodide/messaging/ComodideMessageHandler.java: -------------------------------------------------------------------------------- 1 | package com.comodide.messaging; 2 | 3 | public interface ComodideMessageHandler 4 | { 5 | public boolean handleComodideMessage(ComodideMessage message, Object payload); 6 | } 7 | -------------------------------------------------------------------------------- /src/main/java/com/comodide/patterns/Pattern.java: -------------------------------------------------------------------------------- 1 | package com.comodide.patterns; 2 | 3 | import java.util.Optional; 4 | 5 | import org.semanticweb.owlapi.model.IRI; 6 | 7 | /** 8 | * POJO representing an OPLa pattern. 9 | * @author Karl Hammar 10 | * 11 | */ 12 | public class Pattern implements Comparable { 13 | private String label; 14 | private IRI iri; 15 | private String schemaDiagramPath; 16 | private String htmlDocumentation; 17 | private String owlRepresentationPath; 18 | 19 | public Pattern(String label, IRI iri, String owlRepresentationPath) { 20 | super(); 21 | this.label = label; 22 | this.iri = iri; 23 | this.owlRepresentationPath = owlRepresentationPath; 24 | } 25 | 26 | public String getLabel() { 27 | return label; 28 | } 29 | 30 | public IRI getIri() { 31 | return iri; 32 | } 33 | 34 | public String toString() { 35 | return label; 36 | } 37 | 38 | public Optional getSchemaDiagramPath() { 39 | return Optional.ofNullable(schemaDiagramPath); 40 | } 41 | 42 | public void setSchemaDiagramPath(String renderedSchemaDiagram) { 43 | this.schemaDiagramPath = renderedSchemaDiagram; 44 | } 45 | 46 | public Optional getHtmlDocumentation() { 47 | return Optional.ofNullable(htmlDocumentation); 48 | } 49 | 50 | public void setHtmlDocumentation(String htmlDocumentation) { 51 | this.htmlDocumentation = htmlDocumentation; 52 | } 53 | 54 | public String getOwlRepresentationPath() { 55 | return owlRepresentationPath; 56 | } 57 | 58 | @Override 59 | public int hashCode() { 60 | final int prime = 31; 61 | int result = 1; 62 | result = prime * result + ((iri == null) ? 0 : iri.hashCode()); 63 | return result; 64 | } 65 | 66 | @Override 67 | public boolean equals(Object obj) { 68 | if (this == obj) 69 | return true; 70 | if (obj == null) 71 | return false; 72 | if (getClass() != obj.getClass()) 73 | return false; 74 | Pattern other = (Pattern) obj; 75 | if (iri == null) { 76 | if (other.iri != null) 77 | return false; 78 | } else if (!iri.equals(other.iri)) 79 | return false; 80 | return true; 81 | } 82 | 83 | @Override 84 | public int compareTo(Pattern other) { 85 | return label.compareTo(other.label); 86 | } 87 | } 88 | -------------------------------------------------------------------------------- /src/main/java/com/comodide/patterns/PatternCategory.java: -------------------------------------------------------------------------------- 1 | package com.comodide.patterns; 2 | 3 | import org.semanticweb.owlapi.model.IRI; 4 | 5 | /** 6 | * POJO representing a category of OPLa patterns. 7 | * @author Karl Hammar 8 | * 9 | */ 10 | public class PatternCategory implements Comparable { 11 | 12 | private String label; 13 | private IRI iri; 14 | 15 | public PatternCategory(String label, IRI iri) { 16 | super(); 17 | this.label = label; 18 | this.iri = iri; 19 | } 20 | 21 | public String getLabel() { 22 | return label; 23 | } 24 | 25 | public IRI getIri() { 26 | return iri; 27 | } 28 | 29 | public String toString() { 30 | return label; 31 | } 32 | 33 | @Override 34 | public int hashCode() { 35 | final int prime = 31; 36 | int result = 1; 37 | result = prime * result + ((iri == null) ? 0 : iri.hashCode()); 38 | return result; 39 | } 40 | 41 | @Override 42 | public boolean equals(Object obj) { 43 | if (this == obj) 44 | return true; 45 | if (obj == null) 46 | return false; 47 | if (getClass() != obj.getClass()) 48 | return false; 49 | PatternCategory other = (PatternCategory) obj; 50 | if (iri == null) { 51 | if (other.iri != null) 52 | return false; 53 | } else if (!iri.equals(other.iri)) 54 | return false; 55 | return true; 56 | } 57 | 58 | @Override 59 | public int compareTo(PatternCategory other) { 60 | return label.compareTo(other.label); 61 | } 62 | } 63 | -------------------------------------------------------------------------------- /src/main/java/com/comodide/patterns/PatternDocumentationFrame.java: -------------------------------------------------------------------------------- 1 | package com.comodide.patterns; 2 | 3 | import java.awt.Color; 4 | import java.awt.Component; 5 | import java.awt.Dimension; 6 | import java.awt.Font; 7 | import java.awt.HeadlessException; 8 | import java.awt.image.BufferedImage; 9 | import java.io.InputStream; 10 | 11 | import javax.imageio.ImageIO; 12 | import javax.swing.BorderFactory; 13 | import javax.swing.BoxLayout; 14 | import javax.swing.ImageIcon; 15 | import javax.swing.JEditorPane; 16 | import javax.swing.JFrame; 17 | import javax.swing.JLabel; 18 | import javax.swing.JScrollPane; 19 | 20 | import org.slf4j.Logger; 21 | import org.slf4j.LoggerFactory; 22 | 23 | /** 24 | * A frame displaying ontology design pattern documentation, as provided by a 25 | * passed in Pattern object. 26 | * 27 | * @author Karl Hammar 28 | * 29 | */ 30 | public class PatternDocumentationFrame extends JFrame { 31 | 32 | private static final long serialVersionUID = -455249794302758088L; 33 | 34 | private static final Logger log = LoggerFactory.getLogger(PatternDocumentationFrame.class); 35 | 36 | public PatternDocumentationFrame(Pattern pattern) throws HeadlessException { 37 | super(); 38 | 39 | setLayout(new BoxLayout(this.getContentPane(), BoxLayout.Y_AXIS)); 40 | getContentPane().setBackground(Color.WHITE); 41 | 42 | JLabel patternNameLabel = new JLabel(pattern.getLabel()); 43 | Font orginalLabelFont = patternNameLabel.getFont(); 44 | Font largeBoldFont = new Font(orginalLabelFont.getFontName(), Font.BOLD, orginalLabelFont.getSize() * 2); 45 | patternNameLabel.setFont(largeBoldFont); 46 | patternNameLabel.setBorder(BorderFactory.createEmptyBorder(10, 10, 10, 10)); 47 | patternNameLabel.setAlignmentX(Component.LEFT_ALIGNMENT); 48 | add(patternNameLabel); 49 | 50 | JLabel patternIriLabel = new JLabel(pattern.getIri().toString()); 51 | patternIriLabel.setAlignmentX(Component.LEFT_ALIGNMENT); 52 | Font courierBoldFont = new Font(Font.MONOSPACED, Font.BOLD, orginalLabelFont.getSize()); 53 | patternIriLabel.setFont(courierBoldFont); 54 | patternIriLabel.setBorder(BorderFactory.createEmptyBorder(0, 10, 10, 10)); 55 | add(patternIriLabel); 56 | 57 | try { 58 | if (pattern.getSchemaDiagramPath().isPresent()) { 59 | ClassLoader classloader = this.getClass().getClassLoader(); 60 | InputStream is = classloader.getResourceAsStream(pattern.getSchemaDiagramPath().get()); 61 | BufferedImage schemaDiagram = ImageIO.read(is); 62 | JLabel sdLabel = new JLabel(new ImageIcon(schemaDiagram)); 63 | sdLabel.setAlignmentX(Component.LEFT_ALIGNMENT); 64 | sdLabel.setBorder(BorderFactory.createEmptyBorder(0, 10, 10, 10)); 65 | add(sdLabel); 66 | } 67 | } 68 | catch (Exception ex) { 69 | log.error(ex.getMessage()); 70 | ex.printStackTrace(); 71 | } 72 | 73 | JEditorPane documentationPane = new JEditorPane(); 74 | documentationPane.setContentType("text/html"); 75 | documentationPane.setEditable(false); 76 | documentationPane.setText(pattern.getHtmlDocumentation().orElse("No documentation predicates for this pattern were found in the index.")); 77 | documentationPane.setCaretPosition(0); 78 | documentationPane.setPreferredSize(new Dimension(800, 600)); 79 | JScrollPane documentationScrollPane = new JScrollPane(documentationPane); 80 | documentationScrollPane.setAlignmentX(Component.LEFT_ALIGNMENT); 81 | documentationScrollPane.setBorder(BorderFactory.createEmptyBorder(0, 10, 10, 10)); 82 | add(documentationScrollPane); 83 | 84 | pack(); 85 | } 86 | } 87 | -------------------------------------------------------------------------------- /src/main/java/com/comodide/patterns/PatternTableModel.java: -------------------------------------------------------------------------------- 1 | package com.comodide.patterns; 2 | 3 | import java.util.List; 4 | 5 | import javax.swing.table.AbstractTableModel; 6 | 7 | /** 8 | * Custom AbstractTableModel implementation that holds Pattern objects. Supports 9 | * the {@link PatternTable} class. 10 | * 11 | * @author Karl Hammar 12 | * 13 | */ 14 | public class PatternTableModel extends AbstractTableModel { 15 | 16 | public static final String[] COLUMN_NAMES = { "Name", "" }; 17 | 18 | private static final long serialVersionUID = 5911927324627593760L; 19 | private List patterns; 20 | 21 | public PatternTableModel(List patterns) { 22 | super(); 23 | this.patterns = patterns; 24 | } 25 | 26 | @Override 27 | public boolean isCellEditable(int row, int column) { 28 | if (column == 1) { 29 | return true; 30 | } else { 31 | return false; 32 | } 33 | } 34 | 35 | @Override 36 | public int getColumnCount() { 37 | return COLUMN_NAMES.length; 38 | } 39 | 40 | @Override 41 | public int getRowCount() { 42 | return patterns.size(); 43 | } 44 | 45 | @Override 46 | public String getColumnName(int column) { 47 | return COLUMN_NAMES[column]; 48 | } 49 | 50 | @Override 51 | public Object getValueAt(int rowIndex, int columnIndex) { 52 | Pattern pattern = patterns.get(rowIndex); 53 | switch (columnIndex) { 54 | case 0: 55 | return pattern.getLabel(); 56 | case 1: 57 | return "Docs"; 58 | default: 59 | return pattern.getIri().toString(); 60 | } 61 | } 62 | 63 | public void update(List newPatterns) { 64 | this.patterns = newPatterns; 65 | fireTableDataChanged(); 66 | } 67 | 68 | public Pattern getPatternAtRow(int rowIndex) { 69 | return patterns.get(rowIndex); 70 | } 71 | } 72 | -------------------------------------------------------------------------------- /src/main/java/com/comodide/patterns/PatternTransferable.java: -------------------------------------------------------------------------------- 1 | package com.comodide.patterns; 2 | 3 | import java.awt.datatransfer.DataFlavor; 4 | import java.awt.datatransfer.Transferable; 5 | import java.awt.datatransfer.UnsupportedFlavorException; 6 | import java.io.IOException; 7 | import java.util.Set; 8 | 9 | import org.semanticweb.owlapi.model.OWLAxiom; 10 | 11 | /** 12 | * Transferable implementation that supports the dragging and dropping of OWLAPI-based ontology design patterns. 13 | * Provides its own custom DataFlavor implementation based on the {@link Pattern} POJO, which is the only DataFlavor 14 | * that PatternTransferable supports. 15 | * 16 | * @author Karl Hammar 17 | */ 18 | public class PatternTransferable implements Transferable { 19 | 20 | private Set instantiationAxioms; 21 | private Set modularisationAnnotationAxioms; 22 | public static DataFlavor dataFlavor; 23 | 24 | public PatternTransferable(Set instantiationAxioms, Set modularisationAnnotationAxioms) { 25 | super(); 26 | this.instantiationAxioms = instantiationAxioms; 27 | this.modularisationAnnotationAxioms = modularisationAnnotationAxioms; 28 | } 29 | 30 | @Override 31 | public Object getTransferData(DataFlavor df) throws UnsupportedFlavorException, IOException { 32 | if (df.equals(dataFlavor)) { 33 | return this; 34 | } 35 | else { 36 | throw new UnsupportedFlavorException(df); 37 | } 38 | } 39 | 40 | @Override 41 | public DataFlavor[] getTransferDataFlavors() { 42 | return new DataFlavor[] {dataFlavor}; 43 | } 44 | 45 | @Override 46 | public boolean isDataFlavorSupported(DataFlavor df) { 47 | if (df.equals(dataFlavor)) { 48 | return true; 49 | } 50 | else { 51 | return false; 52 | } 53 | } 54 | 55 | public Set getInstantiationAxioms() { 56 | return instantiationAxioms; 57 | } 58 | 59 | public Set getModularisationAnnotationAxioms() { 60 | return modularisationAnnotationAxioms; 61 | } 62 | 63 | static 64 | { 65 | dataFlavor = new DataFlavor(Pattern.class, "Ontology Design Pattern"); 66 | } 67 | } 68 | -------------------------------------------------------------------------------- /src/main/java/com/comodide/telemetry/TelemetryAgent.java: -------------------------------------------------------------------------------- 1 | package com.comodide.telemetry; 2 | 3 | import java.util.ArrayList; 4 | import java.util.List; 5 | import java.util.UUID; 6 | import java.util.concurrent.ExecutorService; 7 | import java.util.concurrent.Executors; 8 | import org.slf4j.Logger; 9 | import org.slf4j.LoggerFactory; 10 | 11 | import com.comodide.ComodideConfiguration; 12 | 13 | public class TelemetryAgent { 14 | 15 | public static String _sessionId = UUID.randomUUID().toString(); 16 | 17 | private static final Logger log = LoggerFactory.getLogger(TelemetryAgent.class); 18 | 19 | private static List _loggedMessages = new ArrayList(); 20 | 21 | private static String _lastDraggedPatternName; 22 | 23 | public static void SendTelemetry() { 24 | ExecutorService executorService = Executors.newSingleThreadExecutor(); 25 | TelemetryUploader upload = new TelemetryUploader(_loggedMessages); 26 | executorService.submit(upload); 27 | executorService.shutdown(); 28 | } 29 | 30 | public static void setLastDraggedPatternName(String patternName) { 31 | _lastDraggedPatternName = patternName; 32 | } 33 | 34 | public static void clearLog() 35 | { 36 | _loggedMessages.clear(); 37 | } 38 | 39 | private static boolean isTelemetryActive() { 40 | return ComodideConfiguration.getSendTelemetry(); 41 | } 42 | 43 | public static void logLibraryClick(String parameter) { 44 | if (isTelemetryActive()) { 45 | TelemetryMessage newMessage = new TelemetryMessage(_sessionId, "Pattern library click", parameter); 46 | _loggedMessages.add(newMessage); 47 | log.debug(String.format("Logged library click: %s", parameter)); 48 | } 49 | } 50 | 51 | public static void logPatternDrop() { 52 | if (isTelemetryActive()) { 53 | TelemetryMessage newMessage = new TelemetryMessage(_sessionId, "Pattern drop", _lastDraggedPatternName); 54 | _loggedMessages.add(newMessage); 55 | log.debug(String.format("Logged pattern drop: %s", _lastDraggedPatternName)); 56 | SendTelemetry(); 57 | } 58 | } 59 | 60 | public static void logTestMessage(String parameter) { 61 | if (isTelemetryActive()) { 62 | TelemetryMessage newMessage = new TelemetryMessage(_sessionId, "TelemetryAgent test method", parameter); 63 | _loggedMessages.add(newMessage); 64 | log.debug(String.format("Logged test message: %s", parameter)); 65 | SendTelemetry(); 66 | } 67 | } 68 | } 69 | -------------------------------------------------------------------------------- /src/main/java/com/comodide/telemetry/TelemetryMessage.java: -------------------------------------------------------------------------------- 1 | package com.comodide.telemetry; 2 | 3 | import java.text.SimpleDateFormat; 4 | import java.util.Date; 5 | import java.util.TimeZone; 6 | 7 | public class TelemetryMessage { 8 | 9 | private final String _sessionId; 10 | private final String _operation; 11 | private final String _parameter; 12 | private final SimpleDateFormat _df = new SimpleDateFormat("yyyy-MM-dd'T'HH:mm:ss.SSS"); 13 | private final Date _clientTimestamp; 14 | 15 | public String getSessionId() { 16 | return _sessionId; 17 | } 18 | 19 | public String getOperation() { 20 | return _operation; 21 | } 22 | 23 | public String getParameter() { 24 | return _parameter; 25 | } 26 | 27 | public String getClientTimestamp() { 28 | return _df.format(_clientTimestamp); 29 | } 30 | 31 | public TelemetryMessage(String sessionId, String operation, String parameter) { 32 | _sessionId = sessionId; 33 | _operation = operation; 34 | _parameter = parameter; 35 | _df.setTimeZone(TimeZone.getTimeZone("UTC")); 36 | _clientTimestamp = new Date(); 37 | } 38 | } 39 | -------------------------------------------------------------------------------- /src/main/java/com/comodide/telemetry/TelemetryUploader.java: -------------------------------------------------------------------------------- 1 | package com.comodide.telemetry; 2 | 3 | import java.io.BufferedReader; 4 | import java.io.IOException; 5 | import java.io.InputStreamReader; 6 | import java.io.OutputStream; 7 | import java.net.HttpURLConnection; 8 | import java.net.MalformedURLException; 9 | import java.net.ProtocolException; 10 | import java.net.URL; 11 | import java.util.List; 12 | import org.slf4j.Logger; 13 | import org.slf4j.LoggerFactory; 14 | 15 | import com.fasterxml.jackson.core.JsonProcessingException; 16 | import com.fasterxml.jackson.databind.ObjectMapper; 17 | 18 | public class TelemetryUploader implements Runnable { 19 | 20 | private static final Logger log = LoggerFactory.getLogger(TelemetryUploader.class); 21 | 22 | private static List _messages; 23 | 24 | public TelemetryUploader(List messages) { 25 | _messages = messages; 26 | } 27 | 28 | @Override 29 | public void run() { 30 | ObjectMapper mapper = new ObjectMapper(); 31 | try 32 | { 33 | String telemetryMessagesAsJson = mapper.writeValueAsString(_messages); 34 | log.debug(String.format("Sending telemetry message: '%s'", telemetryMessagesAsJson)); 35 | 36 | URL url = new URL("https://comodidetelemetry.azurewebsites.net/telemetry"); 37 | HttpURLConnection con = (HttpURLConnection) url.openConnection(); 38 | con.setRequestMethod("POST"); 39 | 40 | con.setRequestProperty("Content-Type", "application/json; utf-8"); 41 | con.setRequestProperty("Accept", "text/plain"); 42 | con.setDoOutput(true); 43 | 44 | try (OutputStream os = con.getOutputStream()) 45 | { 46 | byte[] input = telemetryMessagesAsJson.getBytes("utf-8"); 47 | os.write(input, 0, input.length); 48 | } 49 | 50 | try (BufferedReader br = new BufferedReader(new InputStreamReader(con.getInputStream(), "utf-8"))) 51 | { 52 | StringBuilder response = new StringBuilder(); 53 | String responseLine = null; 54 | while ((responseLine = br.readLine()) != null) { 55 | response.append(responseLine.trim()); 56 | } 57 | 58 | log.debug(String.format("Submitted telemetry -- got response '%s'", response.toString())); 59 | if (response.toString() == "Ok!") { 60 | TelemetryAgent.clearLog(); 61 | } 62 | } 63 | } 64 | catch (JsonProcessingException e) 65 | { 66 | log.error(String.format("JSON processing failed for telemetry list '%s'; exception message: %s", _messages, 67 | e.getLocalizedMessage())); 68 | } 69 | catch (ProtocolException e) 70 | { 71 | log.error(String.format("ProtocolException thrown by TelemetryUploader. Inner exception: '%s'", e.getLocalizedMessage())); 72 | } 73 | catch (MalformedURLException e) 74 | { 75 | log.error(String.format("MalformedURLException thrown by TelemetryUploader. Inner exception: '%s'", e.getLocalizedMessage())); 76 | } 77 | catch (IOException e) 78 | { 79 | log.error(String.format("IOException thrown by TelemetryUploader. Inner exception: '%s'", e.getLocalizedMessage())); 80 | } 81 | } 82 | } 83 | -------------------------------------------------------------------------------- /src/main/java/com/comodide/views/EditorView.java: -------------------------------------------------------------------------------- 1 | package com.comodide.views; 2 | 3 | import javax.swing.BoxLayout; 4 | 5 | import com.comodide.editor.model.ComodideCell; 6 | import com.mxgraph.view.mxGraph; 7 | import org.protege.editor.owl.model.OWLModelManager; 8 | import org.protege.editor.owl.ui.view.AbstractOWLViewComponent; 9 | import org.semanticweb.owlapi.model.OWLEntity; 10 | import org.slf4j.Logger; 11 | import org.slf4j.LoggerFactory; 12 | 13 | import com.comodide.editor.ComodideEditor; 14 | import com.comodide.editor.ComodideEditorManager; 15 | import com.comodide.editor.SchemaDiagram; 16 | import com.comodide.editor.SchemaDiagramComponent; 17 | 18 | public class EditorView extends AbstractOWLViewComponent 19 | { 20 | private static final long serialVersionUID = 965978729243157195L; 21 | 22 | /** Logging */ 23 | private static final Logger log = LoggerFactory.getLogger(EditorView.class); 24 | 25 | /** Managers */ 26 | private OWLModelManager modelManager; 27 | private ComodideEditorManager comodideEditorManager; 28 | 29 | /** To be called on set up */ 30 | @Override 31 | protected void initialiseOWLView() 32 | { 33 | // Initialize stuff 34 | setLayout(new BoxLayout(this, BoxLayout.X_AXIS)); 35 | this.modelManager = getOWLModelManager(); 36 | 37 | if (this.modelManager != null) 38 | { 39 | this.comodideEditorManager = new ComodideEditorManager(modelManager); 40 | SchemaDiagram schemaDiagram = this.comodideEditorManager.getSchemaDiagram(); 41 | SchemaDiagramComponent schemaDiagramComponent = new SchemaDiagramComponent(schemaDiagram, modelManager); 42 | ComodideEditor comodideEditor = new ComodideEditor(schemaDiagramComponent); 43 | this.add(comodideEditor); 44 | 45 | // Listen for selection events from the other tabs in Protégé to also select cells in the editor 46 | this.getOWLWorkspace().getOWLSelectionModel().addListener(() -> { 47 | 48 | // The currently selected OWLEntity (like when the user selects an entity in Protégé) 49 | OWLEntity selectedEntity = this.getOWLWorkspace().getOWLSelectionModel().getSelectedEntity(); 50 | 51 | // Get all the cells in the editor graph 52 | mxGraph graph = schemaDiagramComponent.getGraph(); 53 | Object parent = graph.getDefaultParent(); 54 | Object[] cells = graph.getChildCells(parent); 55 | 56 | // Search the graph cells to find the one corresponding to the selected entity 57 | for (Object cell : cells) { 58 | if (cell instanceof ComodideCell) { 59 | ComodideCell comodideCell = (ComodideCell) cell; 60 | // Check if the entity's cell is found 61 | if (comodideCell.getEntity().equals(selectedEntity)) { 62 | // Select the cell in the editor 63 | schemaDiagramComponent.selectCellForEvent(cell, null); 64 | return; // stop searching 65 | } 66 | } 67 | } 68 | 69 | }); 70 | 71 | // Finish and Log 72 | log.info("[CoModIDE:RenderingView] Successfully initialized"); 73 | } 74 | else 75 | { 76 | log.error("[CoModIDE:RenderingView] Manager does not exist."); 77 | } 78 | } 79 | 80 | /** To be called when exiting. */ 81 | @Override 82 | protected void disposeOWLView() 83 | { 84 | this.modelManager.removeOntologyChangeListener(this.comodideEditorManager); 85 | this.modelManager.removeListener(this.comodideEditorManager); 86 | log.info("[CoModIDE:RenderingView] Disposed"); 87 | } 88 | } -------------------------------------------------------------------------------- /src/main/resources/images/actor.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/actor.png -------------------------------------------------------------------------------- /src/main/resources/images/alignbottom.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/alignbottom.gif -------------------------------------------------------------------------------- /src/main/resources/images/aligncenter.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/aligncenter.gif -------------------------------------------------------------------------------- /src/main/resources/images/alignleft.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/alignleft.gif -------------------------------------------------------------------------------- /src/main/resources/images/alignmiddle.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/alignmiddle.gif -------------------------------------------------------------------------------- /src/main/resources/images/alignright.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/alignright.gif -------------------------------------------------------------------------------- /src/main/resources/images/aligntop.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/aligntop.gif -------------------------------------------------------------------------------- /src/main/resources/images/arrow.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/arrow.gif -------------------------------------------------------------------------------- /src/main/resources/images/arrow.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/arrow.png -------------------------------------------------------------------------------- /src/main/resources/images/bell.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/bell.png -------------------------------------------------------------------------------- /src/main/resources/images/block_end.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/block_end.gif -------------------------------------------------------------------------------- /src/main/resources/images/block_start.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/block_start.gif -------------------------------------------------------------------------------- /src/main/resources/images/bold.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/bold.gif -------------------------------------------------------------------------------- /src/main/resources/images/bottom.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/bottom.gif -------------------------------------------------------------------------------- /src/main/resources/images/box.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/box.png -------------------------------------------------------------------------------- /src/main/resources/images/cancel_end.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/cancel_end.png -------------------------------------------------------------------------------- /src/main/resources/images/cancel_intermediate.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/cancel_intermediate.png -------------------------------------------------------------------------------- /src/main/resources/images/center.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/center.gif -------------------------------------------------------------------------------- /src/main/resources/images/classic_end.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/classic_end.gif -------------------------------------------------------------------------------- /src/main/resources/images/classic_start.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/classic_start.gif -------------------------------------------------------------------------------- /src/main/resources/images/cloud.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/cloud.png -------------------------------------------------------------------------------- /src/main/resources/images/collapse.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/collapse.gif -------------------------------------------------------------------------------- /src/main/resources/images/connect.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/connect.gif -------------------------------------------------------------------------------- /src/main/resources/images/connect.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/connect.png -------------------------------------------------------------------------------- /src/main/resources/images/connector.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/connector.gif -------------------------------------------------------------------------------- /src/main/resources/images/copy.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/copy.gif -------------------------------------------------------------------------------- /src/main/resources/images/cube_green.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/cube_green.png -------------------------------------------------------------------------------- /src/main/resources/images/cut.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/cut.gif -------------------------------------------------------------------------------- /src/main/resources/images/cylinder.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/cylinder.png -------------------------------------------------------------------------------- /src/main/resources/images/delete.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/delete.gif -------------------------------------------------------------------------------- /src/main/resources/images/diagram.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/diagram.gif -------------------------------------------------------------------------------- /src/main/resources/images/diamond_end.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/diamond_end.gif -------------------------------------------------------------------------------- /src/main/resources/images/diamond_start.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/diamond_start.gif -------------------------------------------------------------------------------- /src/main/resources/images/doubleellipse.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/doubleellipse.png -------------------------------------------------------------------------------- /src/main/resources/images/doublerectangle.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/doublerectangle.png -------------------------------------------------------------------------------- /src/main/resources/images/down.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/down.gif -------------------------------------------------------------------------------- /src/main/resources/images/dude3.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/dude3.png -------------------------------------------------------------------------------- /src/main/resources/images/earth.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/earth.png -------------------------------------------------------------------------------- /src/main/resources/images/ellipse.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/ellipse.png -------------------------------------------------------------------------------- /src/main/resources/images/entity.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/entity.gif -------------------------------------------------------------------------------- /src/main/resources/images/entity.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/entity.png -------------------------------------------------------------------------------- /src/main/resources/images/error.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/error.png -------------------------------------------------------------------------------- /src/main/resources/images/event.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/event.png -------------------------------------------------------------------------------- /src/main/resources/images/event_end.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/event_end.png -------------------------------------------------------------------------------- /src/main/resources/images/event_intermediate.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/event_intermediate.png -------------------------------------------------------------------------------- /src/main/resources/images/expand.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/expand.gif -------------------------------------------------------------------------------- /src/main/resources/images/fillcolor.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/fillcolor.gif -------------------------------------------------------------------------------- /src/main/resources/images/fit.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/fit.gif -------------------------------------------------------------------------------- /src/main/resources/images/font.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/font.gif -------------------------------------------------------------------------------- /src/main/resources/images/fontcolor.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/fontcolor.gif -------------------------------------------------------------------------------- /src/main/resources/images/fork.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/fork.png -------------------------------------------------------------------------------- /src/main/resources/images/gear.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/gear.png -------------------------------------------------------------------------------- /src/main/resources/images/group.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/group.gif -------------------------------------------------------------------------------- /src/main/resources/images/hexagon.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/hexagon.png -------------------------------------------------------------------------------- /src/main/resources/images/hline.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/hline.png -------------------------------------------------------------------------------- /src/main/resources/images/house.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/house.gif -------------------------------------------------------------------------------- /src/main/resources/images/house.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/house.png -------------------------------------------------------------------------------- /src/main/resources/images/image.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/image.gif -------------------------------------------------------------------------------- /src/main/resources/images/inclusive.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/inclusive.png -------------------------------------------------------------------------------- /src/main/resources/images/italic.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/italic.gif -------------------------------------------------------------------------------- /src/main/resources/images/left.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/left.gif -------------------------------------------------------------------------------- /src/main/resources/images/linecolor.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/linecolor.gif -------------------------------------------------------------------------------- /src/main/resources/images/link.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/link.png -------------------------------------------------------------------------------- /src/main/resources/images/maximize.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/maximize.gif -------------------------------------------------------------------------------- /src/main/resources/images/merge.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/merge.png -------------------------------------------------------------------------------- /src/main/resources/images/message.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/message.png -------------------------------------------------------------------------------- /src/main/resources/images/message_end.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/message_end.png -------------------------------------------------------------------------------- /src/main/resources/images/message_intermediate.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/message_intermediate.png -------------------------------------------------------------------------------- /src/main/resources/images/middle.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/middle.gif -------------------------------------------------------------------------------- /src/main/resources/images/minimize.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/minimize.gif -------------------------------------------------------------------------------- /src/main/resources/images/multiple.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/multiple.png -------------------------------------------------------------------------------- /src/main/resources/images/new.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/new.gif -------------------------------------------------------------------------------- /src/main/resources/images/open.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/open.gif -------------------------------------------------------------------------------- /src/main/resources/images/open_end.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/open_end.gif -------------------------------------------------------------------------------- /src/main/resources/images/open_start.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/open_start.gif -------------------------------------------------------------------------------- /src/main/resources/images/outline.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/outline.gif -------------------------------------------------------------------------------- /src/main/resources/images/oval_end.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/oval_end.gif -------------------------------------------------------------------------------- /src/main/resources/images/oval_start.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/oval_start.gif -------------------------------------------------------------------------------- /src/main/resources/images/package.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/package.png -------------------------------------------------------------------------------- /src/main/resources/images/pagesetup.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/pagesetup.gif -------------------------------------------------------------------------------- /src/main/resources/images/pan.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/pan.gif -------------------------------------------------------------------------------- /src/main/resources/images/paste.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/paste.gif -------------------------------------------------------------------------------- /src/main/resources/images/plain.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/plain.gif -------------------------------------------------------------------------------- /src/main/resources/images/preferences.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/preferences.gif -------------------------------------------------------------------------------- /src/main/resources/images/preview.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/preview.gif -------------------------------------------------------------------------------- /src/main/resources/images/print.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/print.gif -------------------------------------------------------------------------------- /src/main/resources/images/printer.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/printer.png -------------------------------------------------------------------------------- /src/main/resources/images/rectangle.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/rectangle.png -------------------------------------------------------------------------------- /src/main/resources/images/redo.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/redo.gif -------------------------------------------------------------------------------- /src/main/resources/images/resize.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/resize.gif -------------------------------------------------------------------------------- /src/main/resources/images/rhombus.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/rhombus.png -------------------------------------------------------------------------------- /src/main/resources/images/right.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/right.gif -------------------------------------------------------------------------------- /src/main/resources/images/rounded.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/rounded.png -------------------------------------------------------------------------------- /src/main/resources/images/rule.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/rule.png -------------------------------------------------------------------------------- /src/main/resources/images/save.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/save.gif -------------------------------------------------------------------------------- /src/main/resources/images/saveas.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/saveas.gif -------------------------------------------------------------------------------- /src/main/resources/images/select.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/select.gif -------------------------------------------------------------------------------- /src/main/resources/images/server.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/server.png -------------------------------------------------------------------------------- /src/main/resources/images/straight.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/straight.gif -------------------------------------------------------------------------------- /src/main/resources/images/straight.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/straight.png -------------------------------------------------------------------------------- /src/main/resources/images/swimlane.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/swimlane.png -------------------------------------------------------------------------------- /src/main/resources/images/terminate.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/terminate.png -------------------------------------------------------------------------------- /src/main/resources/images/timer.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/timer.png -------------------------------------------------------------------------------- /src/main/resources/images/toback.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/toback.gif -------------------------------------------------------------------------------- /src/main/resources/images/tofront.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/tofront.gif -------------------------------------------------------------------------------- /src/main/resources/images/top.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/top.gif -------------------------------------------------------------------------------- /src/main/resources/images/tree.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/tree.gif -------------------------------------------------------------------------------- /src/main/resources/images/triangle.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/triangle.png -------------------------------------------------------------------------------- /src/main/resources/images/undo.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/undo.gif -------------------------------------------------------------------------------- /src/main/resources/images/ungroup.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/ungroup.gif -------------------------------------------------------------------------------- /src/main/resources/images/up.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/up.gif -------------------------------------------------------------------------------- /src/main/resources/images/vertical.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/vertical.gif -------------------------------------------------------------------------------- /src/main/resources/images/vertical.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/vertical.png -------------------------------------------------------------------------------- /src/main/resources/images/workplace.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/workplace.png -------------------------------------------------------------------------------- /src/main/resources/images/wrench.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/wrench.png -------------------------------------------------------------------------------- /src/main/resources/images/zoom.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/zoom.gif -------------------------------------------------------------------------------- /src/main/resources/images/zoomactual.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/zoomactual.gif -------------------------------------------------------------------------------- /src/main/resources/images/zoomin.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/zoomin.gif -------------------------------------------------------------------------------- /src/main/resources/images/zoomout.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/images/zoomout.gif -------------------------------------------------------------------------------- /src/main/resources/modl_bak/patterns/explicittyping.owl: -------------------------------------------------------------------------------- 1 | 2 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | 20 | 21 | 22 | 23 | 24 | 25 | 26 | 27 | 28 | 29 | 30 | 31 | 32 | 33 | 34 | #Type 35 | https://archive.org/services/purl/domain/modular_ontology_design_library/explicittyping 36 | 37 | 38 | 39 | #hasType 40 | https://archive.org/services/purl/domain/modular_ontology_design_library/explicittyping 41 | 42 | 43 | 44 | 45 | 46 | 47 | 48 | -------------------------------------------------------------------------------- /src/main/resources/modl_bak/patterns/name.owl: -------------------------------------------------------------------------------- 1 | 2 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | https://archive.org/services/purl/domain/modular_ontology_design_library/stub 19 | 20 | 21 | 22 | 23 | 24 | 25 | 26 | 27 | 28 | 29 | 30 | 31 | 32 | 33 | 34 | 35 | 36 | 37 | 38 | 39 | 40 | 41 | #NameStub 42 | https://archive.org/services/purl/domain/modular_ontology_design_library/namestub 43 | 44 | 45 | 46 | #nameAsString 47 | https://archive.org/services/purl/domain/modular_ontology_design_library/namestub 48 | 49 | 50 | 51 | 52 | 53 | 54 | 55 | -------------------------------------------------------------------------------- /src/main/resources/modl_bak/patterns/reification.owl: -------------------------------------------------------------------------------- 1 | 2 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | 20 | 21 | 22 | 23 | 24 | 25 | 26 | 27 | 28 | 29 | 30 | 31 | 32 | 33 | 34 | 35 | 36 | 37 | 38 | 39 | 40 | 41 | 42 | 43 | 44 | 45 | 46 | 47 | 48 | 49 | 50 | 51 | 52 | 53 | 54 | 55 | 56 | #Context 57 | https://archive.org/services/purl/domain/modular_ontology_design_library/reification 58 | 59 | 60 | 61 | #ReifiedProperty 62 | https://archive.org/services/purl/domain/modular_ontology_design_library/reification 63 | 64 | 65 | 66 | #hasContext 67 | https://archive.org/services/purl/domain/modular_ontology_design_library/reification 68 | 69 | 70 | 71 | #reifiedProperty1 72 | https://archive.org/services/purl/domain/modular_ontology_design_library/reification 73 | 74 | 75 | 76 | #reifiedProperty2 77 | https://archive.org/services/purl/domain/modular_ontology_design_library/reification 78 | 79 | 80 | 81 | 82 | 83 | 84 | 85 | -------------------------------------------------------------------------------- /src/main/resources/modls/csmodl/README.md: -------------------------------------------------------------------------------- 1 | # A Modular Design Library of Commonsense Micropatterns 2 | 3 | * `patterns/` -- contains the cleaned and annotated patterns. 4 | * `csmodl.owl` -- the index of the MODL. 5 | -------------------------------------------------------------------------------- /src/main/resources/modls/csmodl/patterns/Area.ttl: -------------------------------------------------------------------------------- 1 | @prefix dc: . 2 | @prefix kastle: . 3 | @prefix opla-core: . 4 | @prefix owl: . 5 | @prefix rdf: . 6 | @prefix rdfs: . 7 | @prefix xsd: . 8 | 9 | kastle:Area a rdfs:Class ; 10 | rdfs:subClassOf kastle:Physicalentity, 11 | kastle:Physicalquantity . 12 | 13 | kastle:AreaUnit a rdfs:Class . 14 | 15 | kastle:Circle a rdfs:Class . 16 | 17 | kastle:Double a rdfs:Class . 18 | 19 | kastle:GeographicalEntity a rdfs:Class . 20 | 21 | kastle:N84af915885a24ef99a21e63c7ec3936fb1 a rdfs:Class . 22 | 23 | kastle:PhysicalEntity a rdfs:Class ; 24 | rdfs:subClassOf kastle:Entity . 25 | 26 | kastle:PhysicalObject a rdfs:Class . 27 | 28 | kastle:Place a rdfs:Class . 29 | 30 | kastle:PolygonArea a rdfs:Class ; 31 | rdfs:subClassOf kastle:Area . 32 | 33 | kastle:Space a rdfs:Class . 34 | 35 | kastle:SquareArea a rdfs:Class ; 36 | rdfs:subClassOf kastle:Area . 37 | 38 | kastle:SquareMeters a rdfs:Class . 39 | 40 | kastle:Unit a rdfs:Class . 41 | 42 | kastle:UnitOfMeasurement a rdfs:Class . 43 | 44 | a owl:Ontology ; 45 | opla-core:hasPatternName "Area Pattern"^^xsd:string ; 46 | dc:contributor "Andrew Eells"^^xsd:string, 47 | "Brandon Dave"^^xsd:string, 48 | "Dr. Cogan Shimizu"^^xsd:string, 49 | "Dr. Pascal Hitzler"^^xsd:string ; 50 | dc:creator "Andrew Eells"^^xsd:string, 51 | "Brandon Dave"^^xsd:string, 52 | "Dr. Cogan Shimizu"^^xsd:string, 53 | "Dr. Pascal Hitzler"^^xsd:string . 54 | 55 | kastle:areaUnit a rdf:Property ; 56 | rdfs:domain kastle:Area ; 57 | rdfs:range kastle:SquareMeters . 58 | 59 | kastle:areaValue a rdf:Property ; 60 | rdfs:domain kastle:Area ; 61 | rdfs:range xsd:decimal . 62 | 63 | kastle:hasArea a rdf:Property ; 64 | rdfs:domain kastle:Area, 65 | kastle:GeographicalEntity, 66 | kastle:PhysicalEntity, 67 | kastle:PhysicalObject, 68 | kastle:Place, 69 | kastle:Space ; 70 | rdfs:range xsd:decimal, 71 | kastle:Area . 72 | 73 | kastle:hasLocation a rdf:Property ; 74 | rdfs:domain kastle:Area ; 75 | rdfs:range rdfs:Literal . 76 | 77 | kastle:hasName a rdf:Property ; 78 | rdfs:domain kastle:Area ; 79 | rdfs:range rdfs:Literal . 80 | 81 | kastle:hasSize a rdf:Property ; 82 | rdfs:domain kastle:Area ; 83 | rdfs:range rdfs:Literal . 84 | 85 | kastle:hasType a rdf:Property ; 86 | rdfs:domain kastle:Area ; 87 | rdfs:range rdfs:Literal . 88 | 89 | kastle:hasUnit a rdf:Property ; 90 | rdfs:domain kastle:Area ; 91 | rdfs:range kastle:AreaUnit, 92 | kastle:N84af915885a24ef99a21e63c7ec3936fb1, 93 | kastle:Unit, 94 | kastle:UnitOfMeasurement . 95 | 96 | kastle:hasValue a rdf:Property ; 97 | rdfs:domain kastle:Area ; 98 | rdfs:range xsd:decimal, 99 | xsd:float . 100 | 101 | kastle:inSquareMiles a rdf:Property ; 102 | rdfs:domain kastle:Area ; 103 | rdfs:range xsd:decimal . 104 | 105 | kastle:length a rdf:Property ; 106 | rdfs:domain kastle:Area, 107 | kastle:SquareArea ; 108 | rdfs:range xsd:decimal, 109 | xsd:float, 110 | kastle:Double . 111 | 112 | kastle:radius a rdf:Property ; 113 | rdfs:domain kastle:Circle ; 114 | rdfs:range xsd:float . 115 | 116 | kastle:sideLength a rdf:Property ; 117 | rdfs:domain kastle:PolygonArea ; 118 | rdfs:range kastle:Double . 119 | 120 | kastle:sides a rdf:Property ; 121 | rdfs:domain kastle:PolygonArea ; 122 | rdfs:range xsd:decimal . 123 | 124 | kastle:unit a rdf:Property ; 125 | rdfs:domain kastle:Area ; 126 | rdfs:range rdfs:Literal . 127 | 128 | kastle:unitOfMeasure a rdf:Property ; 129 | rdfs:domain kastle:Area ; 130 | rdfs:range xsd:string . 131 | 132 | kastle:unitOfMeasurement a rdf:Property ; 133 | rdfs:domain kastle:Area ; 134 | rdfs:range rdfs:Literal . 135 | 136 | kastle:value a rdf:Property ; 137 | rdfs:domain kastle:Area ; 138 | rdfs:range rdfs:Literal . 139 | 140 | kastle:width a rdf:Property ; 141 | rdfs:domain kastle:Area, 142 | kastle:SquareArea ; 143 | rdfs:range xsd:decimal, 144 | xsd:float, 145 | kastle:Double . 146 | 147 | -------------------------------------------------------------------------------- /src/main/resources/modls/csmodl/patterns/Back.ttl: -------------------------------------------------------------------------------- 1 | @prefix dc: . 2 | @prefix kastle: . 3 | @prefix opla-core: . 4 | @prefix owl: . 5 | @prefix rdf: . 6 | @prefix rdfs: . 7 | @prefix xsd: . 8 | 9 | kastle:Back a rdfs:Class ; 10 | rdfs:subClassOf kastle:Place . 11 | 12 | kastle:BackDisease a rdfs:Class ; 13 | rdfs:subClassOf kastle:Disease . 14 | 15 | kastle:BackPain a rdfs:Class . 16 | 17 | kastle:BackPart a rdfs:Class . 18 | 19 | kastle:Back_Condition a rdfs:Class . 20 | 21 | kastle:Backpain a rdfs:Class ; 22 | rdfs:subClassOf kastle:Disease . 23 | 24 | kastle:Human a rdfs:Class . 25 | 26 | kastle:HumanBody a rdfs:Class . 27 | 28 | kastle:Injury a rdfs:Class . 29 | 30 | kastle:Integer a rdfs:Class . 31 | 32 | kastle:Pain a rdfs:Class . 33 | 34 | kastle:Place a rdfs:Class . 35 | 36 | kastle:Resource a rdfs:Class . 37 | 38 | kastle:Something a rdfs:Class . 39 | 40 | a owl:Ontology ; 41 | opla-core:hasPatternName "Back Pattern"^^xsd:string ; 42 | dc:contributor "Andrew Eells"^^xsd:string, 43 | "Brandon Dave"^^xsd:string, 44 | "Dr. Cogan Shimizu"^^xsd:string, 45 | "Dr. Pascal Hitzler"^^xsd:string ; 46 | dc:creator "Andrew Eells"^^xsd:string, 47 | "Brandon Dave"^^xsd:string, 48 | "Dr. Cogan Shimizu"^^xsd:string, 49 | "Dr. Pascal Hitzler"^^xsd:string . 50 | 51 | kastle:affects a rdf:Property ; 52 | rdfs:domain kastle:BackDisease ; 53 | rdfs:range kastle:Back . 54 | 55 | kastle:associatedCondition a rdf:Property ; 56 | rdfs:domain kastle:Back ; 57 | rdfs:range kastle:Resource . 58 | 59 | kastle:hasBack a rdf:Property ; 60 | rdfs:domain kastle:Something ; 61 | rdfs:range kastle:Back . 62 | 63 | kastle:hasCondition a rdf:Property ; 64 | rdfs:domain kastle:Back ; 65 | rdfs:range kastle:Back_Condition . 66 | 67 | kastle:hasInjury a rdf:Property ; 68 | rdfs:domain kastle:Back ; 69 | rdfs:range kastle:Injury . 70 | 71 | kastle:hasLocation a rdf:Property ; 72 | rdfs:domain kastle:Back ; 73 | rdfs:range xsd:string . 74 | 75 | kastle:hasMuscle a rdf:Property ; 76 | rdfs:domain kastle:Back ; 77 | rdfs:range rdfs:Literal . 78 | 79 | kastle:hasPain a rdf:Property ; 80 | rdfs:domain kastle:Back ; 81 | rdfs:range kastle:Pain . 82 | 83 | kastle:hasPart a rdf:Property ; 84 | rdfs:domain kastle:Back, 85 | kastle:HumanBody, 86 | kastle:Place ; 87 | rdfs:range kastle:Back, 88 | kastle:BackPart . 89 | 90 | kastle:hasSpine a rdf:Property ; 91 | rdfs:domain kastle:Back ; 92 | rdfs:range rdfs:Literal . 93 | 94 | kastle:hasSymptom a rdf:Property ; 95 | rdfs:domain kastle:Back ; 96 | rdfs:range kastle:BackPain . 97 | 98 | kastle:isLocationOf a rdf:Property ; 99 | rdfs:domain kastle:BackPain ; 100 | rdfs:range kastle:Back . 101 | 102 | kastle:isOppositeOf a rdf:Property ; 103 | rdfs:domain kastle:Back ; 104 | rdfs:range xsd:string . 105 | 106 | kastle:painLevel a rdf:Property ; 107 | rdfs:domain kastle:Back ; 108 | rdfs:range kastle:Integer . 109 | 110 | kastle:partOfBack a rdf:Property ; 111 | rdfs:domain kastle:Back ; 112 | rdfs:range kastle:Back . 113 | 114 | kastle:suffersFrom a rdf:Property ; 115 | rdfs:domain kastle:Human ; 116 | rdfs:range kastle:Backpain . 117 | 118 | kastle:treatmentPlan a rdf:Property ; 119 | rdfs:domain kastle:Back ; 120 | rdfs:range kastle:Resource . 121 | 122 | -------------------------------------------------------------------------------- /src/main/resources/modls/csmodl/patterns/Body.ttl: -------------------------------------------------------------------------------- 1 | @prefix dc: . 2 | @prefix kastle: . 3 | @prefix opla-core: . 4 | @prefix owl: . 5 | @prefix rdf: . 6 | @prefix rdfs: . 7 | @prefix xsd: . 8 | 9 | kastle:AnatomicalStructure a rdfs:Class . 10 | 11 | kastle:Arm a rdfs:Class ; 12 | rdfs:subClassOf kastle:Body . 13 | 14 | kastle:Body a rdfs:Class ; 15 | rdfs:subClassOf kastle:Anatomicalstructure, 16 | kastle:Na17aa21561fa4878864ee13118c956b4b1, 17 | kastle:Physicalentity, 18 | kastle:Physicalobject . 19 | 20 | kastle:BodyPart a rdfs:Class ; 21 | rdfs:subClassOf kastle:Body, 22 | kastle:Humanbody, 23 | kastle:Na17aa21561fa4878864ee13118c956b4b2, 24 | kastle:Physicalentity, 25 | kastle:Physicalobject . 26 | 27 | kastle:Head a rdfs:Class ; 28 | rdfs:subClassOf kastle:Body . 29 | 30 | kastle:Human a rdfs:Class . 31 | 32 | kastle:HumanBody a rdfs:Class . 33 | 34 | kastle:Leg a rdfs:Class ; 35 | rdfs:subClassOf kastle:Body . 36 | 37 | kastle:Limbs a rdfs:Class ; 38 | rdfs:subClassOf kastle:Body . 39 | 40 | kastle:Organ a rdfs:Class ; 41 | rdfs:subClassOf kastle:Bodypart, 42 | kastle:Humanbody . 43 | 44 | kastle:Resource a rdfs:Class . 45 | 46 | kastle:Torso a rdfs:Class ; 47 | rdfs:subClassOf kastle:Body . 48 | 49 | a owl:Ontology ; 50 | opla-core:hasPatternName "Body Pattern"^^xsd:string ; 51 | dc:contributor "Andrew Eells"^^xsd:string, 52 | "Brandon Dave"^^xsd:string, 53 | "Dr. Cogan Shimizu"^^xsd:string, 54 | "Dr. Pascal Hitzler"^^xsd:string ; 55 | dc:creator "Andrew Eells"^^xsd:string, 56 | "Brandon Dave"^^xsd:string, 57 | "Dr. Cogan Shimizu"^^xsd:string, 58 | "Dr. Pascal Hitzler"^^xsd:string . 59 | 60 | kastle:hasArm a rdf:Property ; 61 | rdfs:domain kastle:Body ; 62 | rdfs:range kastle:Arm . 63 | 64 | kastle:hasBodyPart a rdf:Property ; 65 | rdfs:domain kastle:Body, 66 | kastle:Human, 67 | kastle:HumanBody ; 68 | rdfs:range kastle:Body, 69 | kastle:BodyPart, 70 | kastle:HumanBody . 71 | 72 | kastle:hasHead a rdf:Property ; 73 | rdfs:domain kastle:Body ; 74 | rdfs:range kastle:Head . 75 | 76 | kastle:hasLeg a rdf:Property ; 77 | rdfs:domain kastle:Body ; 78 | rdfs:range kastle:Leg . 79 | 80 | kastle:hasLimbs a rdf:Property ; 81 | rdfs:domain kastle:Body ; 82 | rdfs:range kastle:Limbs . 83 | 84 | kastle:hasOrgan a rdf:Property ; 85 | rdfs:domain kastle:Body, 86 | kastle:BodyPart, 87 | kastle:HumanBody ; 88 | rdfs:range kastle:Organ . 89 | 90 | kastle:hasPart a rdf:Property ; 91 | rdfs:domain kastle:Body, 92 | kastle:HumanBody ; 93 | rdfs:range kastle:AnatomicalStructure, 94 | kastle:Body, 95 | kastle:BodyPart, 96 | kastle:Resource . 97 | 98 | kastle:hasTorso a rdf:Property ; 99 | rdfs:domain kastle:Body ; 100 | rdfs:range kastle:Torso . 101 | 102 | kastle:isPartOf a rdf:Property ; 103 | rdfs:domain kastle:BodyPart ; 104 | rdfs:range kastle:Body . 105 | 106 | -------------------------------------------------------------------------------- /src/main/resources/modls/csmodl/patterns/Car.ttl: -------------------------------------------------------------------------------- 1 | @prefix dc: . 2 | @prefix kastle: . 3 | @prefix opla-core: . 4 | @prefix owl: . 5 | @prefix rdf: . 6 | @prefix rdfs: . 7 | @prefix xsd: . 8 | 9 | kastle:BodyType a rdfs:Class ; 10 | rdfs:subClassOf kastle:Resource . 11 | 12 | kastle:Car a rdfs:Class ; 13 | rdfs:subClassOf kastle:Resource, 14 | kastle:Vehicle . 15 | 16 | kastle:CarMake a rdfs:Class . 17 | 18 | kastle:CarModel a rdfs:Class . 19 | 20 | kastle:Engine a rdfs:Class . 21 | 22 | kastle:FuelType a rdfs:Class . 23 | 24 | kastle:Gyear a rdfs:Class . 25 | 26 | kastle:Integer a rdfs:Class . 27 | 28 | kastle:Manufacturer a rdfs:Class . 29 | 30 | kastle:Model a rdfs:Class . 31 | 32 | a owl:Ontology ; 33 | opla-core:hasPatternName "Car Pattern"^^xsd:string ; 34 | dc:contributor "Andrew Eells"^^xsd:string, 35 | "Brandon Dave"^^xsd:string, 36 | "Dr. Cogan Shimizu"^^xsd:string, 37 | "Dr. Pascal Hitzler"^^xsd:string ; 38 | dc:creator "Andrew Eells"^^xsd:string, 39 | "Brandon Dave"^^xsd:string, 40 | "Dr. Cogan Shimizu"^^xsd:string, 41 | "Dr. Pascal Hitzler"^^xsd:string . 42 | 43 | kastle:bodyType a rdf:Property ; 44 | rdfs:domain kastle:Car ; 45 | rdfs:range kastle:BodyType . 46 | 47 | kastle:color a rdf:Property ; 48 | rdfs:domain kastle:Car ; 49 | rdfs:range rdfs:Literal, 50 | xsd:string . 51 | 52 | kastle:engineType a rdf:Property ; 53 | rdfs:domain kastle:Engine ; 54 | rdfs:range xsd:string . 55 | 56 | kastle:fuelType a rdf:Property ; 57 | rdfs:domain kastle:Engine ; 58 | rdfs:range kastle:FuelType . 59 | 60 | kastle:hasBrand a rdf:Property ; 61 | rdfs:domain kastle:Car ; 62 | rdfs:range xsd:string . 63 | 64 | kastle:hasColor a rdf:Property ; 65 | rdfs:domain kastle:Car ; 66 | rdfs:range xsd:string . 67 | 68 | kastle:hasEngine a rdf:Property ; 69 | rdfs:domain kastle:Car ; 70 | rdfs:range kastle:Engine . 71 | 72 | kastle:hasEngineSize a rdf:Property ; 73 | rdfs:domain kastle:Car ; 74 | rdfs:range xsd:float . 75 | 76 | kastle:hasMake a rdf:Property ; 77 | rdfs:domain kastle:Car ; 78 | rdfs:range xsd:string, 79 | kastle:CarMake . 80 | 81 | kastle:hasManufacturer a rdf:Property ; 82 | rdfs:domain kastle:Car ; 83 | rdfs:range xsd:string, 84 | kastle:Manufacturer . 85 | 86 | kastle:hasModel a rdf:Property ; 87 | rdfs:domain kastle:Car ; 88 | rdfs:range rdfs:Literal, 89 | xsd:string, 90 | kastle:CarModel, 91 | kastle:Model . 92 | 93 | kastle:hasPrice a rdf:Property ; 94 | rdfs:domain kastle:Car ; 95 | rdfs:range xsd:decimal . 96 | 97 | kastle:hasProductionYear a rdf:Property ; 98 | rdfs:domain kastle:Car ; 99 | rdfs:range kastle:Integer . 100 | 101 | kastle:hasRegistrationYear a rdf:Property ; 102 | rdfs:domain kastle:Car ; 103 | rdfs:range kastle:Integer . 104 | 105 | kastle:hasVIN a rdf:Property ; 106 | rdfs:domain kastle:Car ; 107 | rdfs:range xsd:string . 108 | 109 | kastle:hasYear a rdf:Property ; 110 | rdfs:domain kastle:Car ; 111 | rdfs:range xsd:date, 112 | xsd:int, 113 | xsd:string, 114 | kastle:Integer . 115 | 116 | kastle:horsePower a rdf:Property ; 117 | rdfs:domain kastle:Engine ; 118 | rdfs:range kastle:Integer . 119 | 120 | kastle:make a rdf:Property ; 121 | rdfs:domain kastle:Car ; 122 | rdfs:range rdfs:Literal . 123 | 124 | kastle:manufacturer a rdf:Property ; 125 | rdfs:domain kastle:Car ; 126 | rdfs:range xsd:string, 127 | kastle:Manufacturer . 128 | 129 | kastle:model a rdf:Property ; 130 | rdfs:domain kastle:Car ; 131 | rdfs:range rdfs:Literal, 132 | xsd:string . 133 | 134 | kastle:year a rdf:Property ; 135 | rdfs:domain kastle:Car ; 136 | rdfs:range rdfs:Literal, 137 | kastle:Gyear, 138 | kastle:Integer . 139 | 140 | -------------------------------------------------------------------------------- /src/main/resources/modls/csmodl/patterns/Chair.ttl: -------------------------------------------------------------------------------- 1 | @prefix dc: . 2 | @prefix kastle: . 3 | @prefix opla-core: . 4 | @prefix owl: . 5 | @prefix rdf: . 6 | @prefix rdfs: . 7 | @prefix xsd: . 8 | 9 | kastle:Chair a rdfs:Class . 10 | 11 | kastle:Company a rdfs:Class . 12 | 13 | kastle:Integer a rdfs:Class . 14 | 15 | a owl:Ontology ; 16 | opla-core:hasPatternName "Chair Pattern"^^xsd:string ; 17 | dc:contributor "Andrew Eells"^^xsd:string, 18 | "Brandon Dave"^^xsd:string, 19 | "Dr. Cogan Shimizu"^^xsd:string, 20 | "Dr. Pascal Hitzler"^^xsd:string ; 21 | dc:creator "Andrew Eells"^^xsd:string, 22 | "Brandon Dave"^^xsd:string, 23 | "Dr. Cogan Shimizu"^^xsd:string, 24 | "Dr. Pascal Hitzler"^^xsd:string . 25 | 26 | kastle:hasColor a rdf:Property ; 27 | rdfs:domain kastle:Chair ; 28 | rdfs:range rdfs:Literal, 29 | xsd:string . 30 | 31 | kastle:hasColour a rdf:Property ; 32 | rdfs:domain kastle:Chair ; 33 | rdfs:range xsd:string . 34 | 35 | kastle:hasDepth a rdf:Property ; 36 | rdfs:domain kastle:Chair ; 37 | rdfs:range xsd:float . 38 | 39 | kastle:hasHeight a rdf:Property ; 40 | rdfs:domain kastle:Chair ; 41 | rdfs:range xsd:float . 42 | 43 | kastle:hasMaterial a rdf:Property ; 44 | rdfs:domain kastle:Chair ; 45 | rdfs:range rdfs:Literal, 46 | xsd:string . 47 | 48 | kastle:hasPrice a rdf:Property ; 49 | rdfs:domain kastle:Chair ; 50 | rdfs:range rdfs:Literal . 51 | 52 | kastle:hasStyle a rdf:Property ; 53 | rdfs:domain kastle:Chair ; 54 | rdfs:range rdfs:Literal, 55 | xsd:string . 56 | 57 | kastle:hasWeightCapacity a rdf:Property ; 58 | rdfs:domain kastle:Chair ; 59 | rdfs:range kastle:Integer . 60 | 61 | kastle:hasWidth a rdf:Property ; 62 | rdfs:domain kastle:Chair ; 63 | rdfs:range xsd:float . 64 | 65 | kastle:manufacturer a rdf:Property ; 66 | rdfs:domain kastle:Chair ; 67 | rdfs:range kastle:Company . 68 | 69 | kastle:material a rdf:Property ; 70 | rdfs:domain kastle:Chair ; 71 | rdfs:range rdfs:Literal . 72 | 73 | -------------------------------------------------------------------------------- /src/main/resources/modls/csmodl/patterns/Child.ttl: -------------------------------------------------------------------------------- 1 | @prefix dc: . 2 | @prefix kastle: . 3 | @prefix opla-core: . 4 | @prefix owl: . 5 | @prefix rdf: . 6 | @prefix rdfs: . 7 | @prefix xsd: . 8 | 9 | kastle:Address a rdfs:Class . 10 | 11 | kastle:Adult a rdfs:Class ; 12 | rdfs:subClassOf kastle:Human . 13 | 14 | kastle:Child a rdfs:Class ; 15 | rdfs:subClassOf kastle:Human, 16 | kastle:Person . 17 | 18 | kastle:EducationalOrganization a rdfs:Class . 19 | 20 | kastle:Human a rdfs:Class . 21 | 22 | kastle:Integer a rdfs:Class . 23 | 24 | kastle:Organization a rdfs:Class . 25 | 26 | kastle:Parent a rdfs:Class . 27 | 28 | kastle:Person a rdfs:Class . 29 | 30 | kastle:Positiveinteger a rdfs:Class . 31 | 32 | kastle:School a rdfs:Class . 33 | 34 | a owl:Ontology ; 35 | opla-core:hasPatternName "Child Pattern"^^xsd:string ; 36 | dc:contributor "Andrew Eells"^^xsd:string, 37 | "Brandon Dave"^^xsd:string, 38 | "Dr. Cogan Shimizu"^^xsd:string, 39 | "Dr. Pascal Hitzler"^^xsd:string ; 40 | dc:creator "Andrew Eells"^^xsd:string, 41 | "Brandon Dave"^^xsd:string, 42 | "Dr. Cogan Shimizu"^^xsd:string, 43 | "Dr. Pascal Hitzler"^^xsd:string . 44 | 45 | kastle:age a rdf:Property ; 46 | rdfs:domain kastle:Child ; 47 | rdfs:range xsd:int, 48 | kastle:Integer . 49 | 50 | kastle:attendsSchool a rdf:Property ; 51 | rdfs:domain kastle:Child ; 52 | rdfs:range kastle:School . 53 | 54 | kastle:birthdate a rdf:Property ; 55 | rdfs:domain kastle:Child ; 56 | rdfs:range xsd:date . 57 | 58 | kastle:enrolledIn a rdf:Property ; 59 | rdfs:domain kastle:Child ; 60 | rdfs:range kastle:EducationalOrganization . 61 | 62 | kastle:gender a rdf:Property ; 63 | rdfs:domain kastle:Child ; 64 | rdfs:range xsd:string . 65 | 66 | kastle:hasAge a rdf:Property ; 67 | rdfs:domain kastle:Child ; 68 | rdfs:range xsd:int, 69 | kastle:Integer, 70 | kastle:Positiveinteger . 71 | 72 | kastle:hasChild a rdf:Property ; 73 | rdfs:domain kastle:Adult, 74 | kastle:Human, 75 | kastle:Parent, 76 | kastle:Person ; 77 | rdfs:range kastle:Child . 78 | 79 | kastle:hasFirstName a rdf:Property ; 80 | rdfs:domain kastle:Child ; 81 | rdfs:range xsd:string . 82 | 83 | kastle:hasGrade a rdf:Property ; 84 | rdfs:domain kastle:Child ; 85 | rdfs:range xsd:string . 86 | 87 | kastle:hasLastName a rdf:Property ; 88 | rdfs:domain kastle:Child ; 89 | rdfs:range xsd:string . 90 | 91 | kastle:hasName a rdf:Property ; 92 | rdfs:domain kastle:Child ; 93 | rdfs:range xsd:string . 94 | 95 | kastle:hasParent a rdf:Property ; 96 | rdfs:domain kastle:Child ; 97 | rdfs:range kastle:Adult, 98 | kastle:Parent, 99 | kastle:Person . 100 | 101 | kastle:hasSibling a rdf:Property ; 102 | rdfs:domain kastle:Child ; 103 | rdfs:range kastle:Child, 104 | kastle:Human . 105 | 106 | kastle:isChildOf a rdf:Property ; 107 | rdfs:domain kastle:Child ; 108 | rdfs:range kastle:Adult, 109 | kastle:Human, 110 | kastle:Parent, 111 | kastle:Person . 112 | 113 | kastle:isMale a rdf:Property ; 114 | rdfs:domain kastle:Child ; 115 | rdfs:range xsd:boolean . 116 | 117 | kastle:isParentOf a rdf:Property ; 118 | rdfs:domain kastle:Parent ; 119 | rdfs:range kastle:Child . 120 | 121 | kastle:livesAt a rdf:Property ; 122 | rdfs:domain kastle:Child ; 123 | rdfs:range kastle:Address . 124 | 125 | kastle:memberOf a rdf:Property ; 126 | rdfs:domain kastle:Child ; 127 | rdfs:range kastle:Organization . 128 | 129 | kastle:name a rdf:Property ; 130 | rdfs:domain kastle:Child ; 131 | rdfs:range xsd:string . 132 | 133 | kastle:parent a rdf:Property ; 134 | rdfs:domain kastle:Child ; 135 | rdfs:range kastle:Parent . 136 | 137 | kastle:parentOf a rdf:Property ; 138 | rdfs:domain kastle:Person ; 139 | rdfs:range kastle:Child . 140 | 141 | kastle:school a rdf:Property ; 142 | rdfs:domain kastle:Child ; 143 | rdfs:range kastle:School . 144 | 145 | -------------------------------------------------------------------------------- /src/main/resources/modls/csmodl/patterns/End.ttl: -------------------------------------------------------------------------------- 1 | @prefix dc: . 2 | @prefix kastle: . 3 | @prefix opla-core: . 4 | @prefix owl: . 5 | @prefix rdf: . 6 | @prefix rdfs: . 7 | @prefix xsd: . 8 | 9 | kastle:Datetime a rdfs:Class . 10 | 11 | kastle:End a rdfs:Class . 12 | 13 | kastle:EndEvent a rdfs:Class ; 14 | rdfs:subClassOf kastle:End . 15 | 16 | kastle:EndLocation a rdfs:Class ; 17 | rdfs:subClassOf kastle:End . 18 | 19 | kastle:EndTime a rdfs:Class ; 20 | rdfs:subClassOf kastle:End . 21 | 22 | kastle:Entity a rdfs:Class . 23 | 24 | kastle:Event a rdfs:Class . 25 | 26 | kastle:N6368b32855bb4934b0d678c8956ceef6b1 a rdfs:Class . 27 | 28 | kastle:Process a rdfs:Class . 29 | 30 | kastle:Resource a rdfs:Class . 31 | 32 | kastle:Thing a rdfs:Class . 33 | 34 | kastle:Time a rdfs:Class . 35 | 36 | a owl:Ontology ; 37 | opla-core:hasPatternName "End Pattern"^^xsd:string ; 38 | dc:contributor "Andrew Eells"^^xsd:string, 39 | "Brandon Dave"^^xsd:string, 40 | "Dr. Cogan Shimizu"^^xsd:string, 41 | "Dr. Pascal Hitzler"^^xsd:string ; 42 | dc:creator "Andrew Eells"^^xsd:string, 43 | "Brandon Dave"^^xsd:string, 44 | "Dr. Cogan Shimizu"^^xsd:string, 45 | "Dr. Pascal Hitzler"^^xsd:string . 46 | 47 | kastle:associatedWith a rdf:Property ; 48 | rdfs:domain kastle:End ; 49 | rdfs:range kastle:Resource . 50 | 51 | kastle:cause a rdf:Property ; 52 | rdfs:domain kastle:End ; 53 | rdfs:range kastle:Resource . 54 | 55 | kastle:causes a rdf:Property ; 56 | rdfs:domain kastle:End ; 57 | rdfs:range kastle:EndEvent . 58 | 59 | kastle:consequence a rdf:Property ; 60 | rdfs:domain kastle:End ; 61 | rdfs:range kastle:Resource . 62 | 63 | kastle:date a rdf:Property ; 64 | rdfs:domain kastle:End ; 65 | rdfs:range rdfs:Literal . 66 | 67 | kastle:endDate a rdf:Property ; 68 | rdfs:domain kastle:End ; 69 | rdfs:range xsd:date, 70 | kastle:Datetime . 71 | 72 | kastle:endtime a rdf:Property ; 73 | rdfs:domain kastle:End ; 74 | rdfs:range kastle:Datetime . 75 | 76 | kastle:event a rdf:Property ; 77 | rdfs:domain kastle:End ; 78 | rdfs:range kastle:Resource . 79 | 80 | kastle:hasActor a rdf:Property ; 81 | rdfs:domain kastle:End ; 82 | rdfs:range kastle:Resource . 83 | 84 | kastle:hasDate a rdf:Property ; 85 | rdfs:domain kastle:End ; 86 | rdfs:range xsd:date . 87 | 88 | kastle:hasEnd a rdf:Property ; 89 | rdfs:domain kastle:Entity, 90 | kastle:Event, 91 | kastle:Process, 92 | kastle:Resource, 93 | kastle:Thing ; 94 | rdfs:range kastle:End . 95 | 96 | kastle:hasEndDate a rdf:Property ; 97 | rdfs:domain kastle:Event ; 98 | rdfs:range kastle:Datetime . 99 | 100 | kastle:hasEndLocation a rdf:Property ; 101 | rdfs:domain kastle:End ; 102 | rdfs:range kastle:EndLocation . 103 | 104 | kastle:hasEndTime a rdf:Property ; 105 | rdfs:domain kastle:End ; 106 | rdfs:range kastle:Datetime, 107 | kastle:EndTime . 108 | 109 | kastle:hasTime a rdf:Property ; 110 | rdfs:domain kastle:End ; 111 | rdfs:range kastle:Datetime, 112 | kastle:Time . 113 | 114 | kastle:isEndOf a rdf:Property ; 115 | rdfs:domain kastle:End, 116 | kastle:N6368b32855bb4934b0d678c8956ceef6b1 ; 117 | rdfs:range kastle:End, 118 | kastle:Resource, 119 | kastle:Thing . 120 | 121 | kastle:isResultOf a rdf:Property ; 122 | rdfs:domain kastle:End ; 123 | rdfs:range kastle:EndEvent . 124 | 125 | kastle:locationEnd a rdf:Property ; 126 | rdfs:domain kastle:End ; 127 | rdfs:range kastle:Resource . 128 | 129 | kastle:of a rdf:Property ; 130 | rdfs:domain kastle:End ; 131 | rdfs:range kastle:Resource . 132 | 133 | kastle:ofEvent a rdf:Property ; 134 | rdfs:domain kastle:End ; 135 | rdfs:range kastle:Event . 136 | 137 | kastle:startDate a rdf:Property ; 138 | rdfs:domain kastle:End ; 139 | rdfs:range kastle:Datetime . 140 | 141 | kastle:timePoint a rdf:Property ; 142 | rdfs:domain kastle:End ; 143 | rdfs:range kastle:Datetime . 144 | 145 | -------------------------------------------------------------------------------- /src/main/resources/modls/csmodl/patterns/Father.ttl: -------------------------------------------------------------------------------- 1 | @prefix dc: . 2 | @prefix kastle: . 3 | @prefix opla-core: . 4 | @prefix owl: . 5 | @prefix rdf: . 6 | @prefix rdfs: . 7 | @prefix xsd: . 8 | 9 | kastle:Daughter a rdfs:Class ; 10 | rdfs:subClassOf kastle:Human . 11 | 12 | kastle:Father a rdfs:Class ; 13 | rdfs:subClassOf kastle:Human, 14 | kastle:Male, 15 | kastle:Man, 16 | kastle:Parent, 17 | kastle:Person . 18 | 19 | kastle:Human a rdfs:Class . 20 | 21 | kastle:Person a rdfs:Class . 22 | 23 | kastle:Resource a rdfs:Class . 24 | 25 | kastle:Son a rdfs:Class ; 26 | rdfs:subClassOf kastle:Human . 27 | 28 | kastle:Woman a rdfs:Class . 29 | 30 | a owl:Ontology ; 31 | opla-core:hasPatternName "Father Pattern"^^xsd:string ; 32 | dc:contributor "Andrew Eells"^^xsd:string, 33 | "Brandon Dave"^^xsd:string, 34 | "Dr. Cogan Shimizu"^^xsd:string, 35 | "Dr. Pascal Hitzler"^^xsd:string ; 36 | dc:creator "Andrew Eells"^^xsd:string, 37 | "Brandon Dave"^^xsd:string, 38 | "Dr. Cogan Shimizu"^^xsd:string, 39 | "Dr. Pascal Hitzler"^^xsd:string . 40 | 41 | kastle:childOf a rdf:Property ; 42 | rdfs:domain kastle:Resource ; 43 | rdfs:range kastle:Father . 44 | 45 | kastle:fatherOf a rdf:Property ; 46 | rdfs:domain kastle:Father ; 47 | rdfs:range kastle:Resource . 48 | 49 | kastle:hasChild a rdf:Property ; 50 | rdfs:domain kastle:Father ; 51 | rdfs:range kastle:Person . 52 | 53 | kastle:hasDaughter a rdf:Property ; 54 | rdfs:domain kastle:Father ; 55 | rdfs:range kastle:Daughter . 56 | 57 | kastle:hasFather a rdf:Property ; 58 | rdfs:domain kastle:Human, 59 | kastle:Person ; 60 | rdfs:range kastle:Father . 61 | 62 | kastle:hasSon a rdf:Property ; 63 | rdfs:domain kastle:Father ; 64 | rdfs:range kastle:Son . 65 | 66 | kastle:hasSpouse a rdf:Property ; 67 | rdfs:domain kastle:Father ; 68 | rdfs:range kastle:Resource, 69 | kastle:Woman . 70 | 71 | kastle:isFatherOf a rdf:Property ; 72 | rdfs:domain kastle:Father, 73 | kastle:Person ; 74 | rdfs:range kastle:Father, 75 | kastle:Human, 76 | kastle:Person . 77 | 78 | -------------------------------------------------------------------------------- /src/main/resources/modls/csmodl/patterns/Girl.ttl: -------------------------------------------------------------------------------- 1 | @prefix dc: . 2 | @prefix kastle: . 3 | @prefix opla-core: . 4 | @prefix owl: . 5 | @prefix rdf: . 6 | @prefix rdfs: . 7 | @prefix xsd: . 8 | 9 | kastle:Adult a rdfs:Class . 10 | 11 | kastle:Education a rdfs:Class . 12 | 13 | kastle:Gender a rdfs:Class ; 14 | rdfs:subClassOf kastle:Gender . 15 | 16 | kastle:Girl a rdfs:Class ; 17 | rdfs:subClassOf kastle:Human, 18 | kastle:Person . 19 | 20 | kastle:Hobby a rdfs:Class . 21 | 22 | kastle:Human a rdfs:Class . 23 | 24 | kastle:Integer a rdfs:Class . 25 | 26 | kastle:Nonnegativeinteger a rdfs:Class . 27 | 28 | kastle:Parent a rdfs:Class . 29 | 30 | kastle:Person a rdfs:Class . 31 | 32 | kastle:Pet a rdfs:Class . 33 | 34 | kastle:School a rdfs:Class . 35 | 36 | kastle:Toy a rdfs:Class . 37 | 38 | a owl:Ontology ; 39 | opla-core:hasPatternName "Girl Pattern"^^xsd:string ; 40 | dc:contributor "Andrew Eells"^^xsd:string, 41 | "Brandon Dave"^^xsd:string, 42 | "Dr. Cogan Shimizu"^^xsd:string, 43 | "Dr. Pascal Hitzler"^^xsd:string ; 44 | dc:creator "Andrew Eells"^^xsd:string, 45 | "Brandon Dave"^^xsd:string, 46 | "Dr. Cogan Shimizu"^^xsd:string, 47 | "Dr. Pascal Hitzler"^^xsd:string . 48 | 49 | kastle:age a rdf:Property ; 50 | rdfs:domain kastle:Girl, 51 | kastle:Human, 52 | kastle:Person ; 53 | rdfs:range xsd:int, 54 | kastle:Integer . 55 | 56 | kastle:attendsSchool a rdf:Property ; 57 | rdfs:domain kastle:Girl, 58 | kastle:Person ; 59 | rdfs:range xsd:boolean, 60 | kastle:School . 61 | 62 | kastle:child a rdf:Property ; 63 | rdfs:domain kastle:Girl ; 64 | rdfs:range kastle:Parent . 65 | 66 | kastle:female a rdf:Property ; 67 | rdfs:domain kastle:Girl ; 68 | rdfs:range kastle:Gender . 69 | 70 | kastle:girlAge a rdf:Property ; 71 | rdfs:domain kastle:Girl ; 72 | rdfs:range kastle:Integer . 73 | 74 | kastle:girlName a rdf:Property ; 75 | rdfs:domain kastle:Girl ; 76 | rdfs:range xsd:string . 77 | 78 | kastle:hasAge a rdf:Property ; 79 | rdfs:domain kastle:Girl, 80 | kastle:Human ; 81 | rdfs:range xsd:int, 82 | kastle:Integer, 83 | kastle:Nonnegativeinteger . 84 | 85 | kastle:hasBirthday a rdf:Property ; 86 | rdfs:domain kastle:Girl ; 87 | rdfs:range xsd:date . 88 | 89 | kastle:hasGender a rdf:Property ; 90 | rdfs:domain kastle:Girl, 91 | kastle:Person ; 92 | rdfs:range xsd:string, 93 | kastle:Gender . 94 | 95 | kastle:hasHairColor a rdf:Property ; 96 | rdfs:domain kastle:Person ; 97 | rdfs:range rdfs:Literal . 98 | 99 | kastle:hasHobby a rdf:Property ; 100 | rdfs:domain kastle:Girl ; 101 | rdfs:range kastle:Hobby . 102 | 103 | kastle:hasLocation a rdf:Property ; 104 | rdfs:domain kastle:School ; 105 | rdfs:range xsd:string . 106 | 107 | kastle:hasName a rdf:Property ; 108 | rdfs:domain kastle:Girl, 109 | kastle:Human, 110 | kastle:Person ; 111 | rdfs:range rdfs:Literal, 112 | xsd:string . 113 | 114 | kastle:hasParent a rdf:Property ; 115 | rdfs:domain kastle:Girl ; 116 | rdfs:range kastle:Adult, 117 | kastle:Human . 118 | 119 | kastle:hasPets a rdf:Property ; 120 | rdfs:domain kastle:Girl ; 121 | rdfs:range kastle:Pet . 122 | 123 | kastle:hasToys a rdf:Property ; 124 | rdfs:domain kastle:Girl ; 125 | rdfs:range kastle:Toy . 126 | 127 | kastle:isEnrolledIn a rdf:Property ; 128 | rdfs:domain kastle:Girl ; 129 | rdfs:range kastle:Education . 130 | 131 | kastle:isGirl a rdf:Property ; 132 | rdfs:domain kastle:Human, 133 | kastle:Person ; 134 | rdfs:range kastle:Girl . 135 | 136 | kastle:livesIn a rdf:Property ; 137 | rdfs:domain kastle:Girl ; 138 | rdfs:range xsd:string . 139 | 140 | kastle:name a rdf:Property ; 141 | rdfs:domain kastle:Human ; 142 | rdfs:range xsd:string . 143 | 144 | kastle:sibling a rdf:Property ; 145 | rdfs:domain kastle:Girl ; 146 | rdfs:range kastle:Human . 147 | 148 | -------------------------------------------------------------------------------- /src/main/resources/modls/csmodl/patterns/Guy.ttl: -------------------------------------------------------------------------------- 1 | @prefix dc: . 2 | @prefix kastle: . 3 | @prefix opla-core: . 4 | @prefix owl: . 5 | @prefix rdf: . 6 | @prefix rdfs: . 7 | @prefix xsd: . 8 | 9 | kastle:Gender a rdfs:Class . 10 | 11 | kastle:Guy a rdfs:Class ; 12 | rdfs:subClassOf kastle:Person . 13 | 14 | kastle:Hobby a rdfs:Class . 15 | 16 | kastle:Human a rdfs:Class . 17 | 18 | kastle:Integer a rdfs:Class . 19 | 20 | kastle:Job a rdfs:Class . 21 | 22 | kastle:Location a rdfs:Class . 23 | 24 | kastle:Organization a rdfs:Class . 25 | 26 | a owl:Ontology ; 27 | opla-core:hasPatternName "Guy Pattern"^^xsd:string ; 28 | dc:contributor "Andrew Eells"^^xsd:string, 29 | "Brandon Dave"^^xsd:string, 30 | "Dr. Cogan Shimizu"^^xsd:string, 31 | "Dr. Pascal Hitzler"^^xsd:string ; 32 | dc:creator "Andrew Eells"^^xsd:string, 33 | "Brandon Dave"^^xsd:string, 34 | "Dr. Cogan Shimizu"^^xsd:string, 35 | "Dr. Pascal Hitzler"^^xsd:string . 36 | 37 | kastle:birthday a rdf:Property ; 38 | rdfs:domain kastle:Guy ; 39 | rdfs:range xsd:date . 40 | 41 | kastle:employedAs a rdf:Property ; 42 | rdfs:domain kastle:Guy ; 43 | rdfs:range kastle:Job . 44 | 45 | kastle:firstName a rdf:Property ; 46 | rdfs:domain kastle:Guy ; 47 | rdfs:range xsd:string . 48 | 49 | kastle:hasAge a rdf:Property ; 50 | rdfs:domain kastle:Guy, 51 | kastle:Human ; 52 | rdfs:range rdfs:Literal, 53 | xsd:int, 54 | kastle:Integer . 55 | 56 | kastle:hasChild a rdf:Property ; 57 | rdfs:domain kastle:Guy ; 58 | rdfs:range kastle:Guy . 59 | 60 | kastle:hasFirstName a rdf:Property ; 61 | rdfs:domain kastle:Guy ; 62 | rdfs:range rdfs:Literal . 63 | 64 | kastle:hasGender a rdf:Property ; 65 | rdfs:domain kastle:Human ; 66 | rdfs:range kastle:Gender . 67 | 68 | kastle:hasHobby a rdf:Property ; 69 | rdfs:domain kastle:Guy ; 70 | rdfs:range kastle:Hobby . 71 | 72 | kastle:hasInterest a rdf:Property ; 73 | rdfs:domain kastle:Guy ; 74 | rdfs:range xsd:string . 75 | 76 | kastle:hasLastName a rdf:Property ; 77 | rdfs:domain kastle:Guy ; 78 | rdfs:range rdfs:Literal . 79 | 80 | kastle:hasLocation a rdf:Property ; 81 | rdfs:domain kastle:Organization ; 82 | rdfs:range xsd:string . 83 | 84 | kastle:hasName a rdf:Property ; 85 | rdfs:domain kastle:Guy ; 86 | rdfs:range xsd:string . 87 | 88 | kastle:hasOccupation a rdf:Property ; 89 | rdfs:domain kastle:Guy ; 90 | rdfs:range xsd:string . 91 | 92 | kastle:hasSpouse a rdf:Property ; 93 | rdfs:domain kastle:Guy ; 94 | rdfs:range kastle:Guy . 95 | 96 | kastle:isFriendWith a rdf:Property ; 97 | rdfs:domain kastle:Guy ; 98 | rdfs:range kastle:Guy . 99 | 100 | kastle:lastName a rdf:Property ; 101 | rdfs:domain kastle:Guy ; 102 | rdfs:range xsd:string . 103 | 104 | kastle:livesIn a rdf:Property ; 105 | rdfs:domain kastle:Guy ; 106 | rdfs:range rdfs:Literal . 107 | 108 | kastle:name a rdf:Property ; 109 | rdfs:domain kastle:Human ; 110 | rdfs:range xsd:string . 111 | 112 | kastle:playsSport a rdf:Property ; 113 | rdfs:domain kastle:Guy ; 114 | rdfs:range xsd:string . 115 | 116 | kastle:worksAt a rdf:Property ; 117 | rdfs:domain kastle:Guy ; 118 | rdfs:range rdfs:Literal, 119 | kastle:Organization . 120 | 121 | kastle:worksIn a rdf:Property ; 122 | rdfs:domain kastle:Guy ; 123 | rdfs:range kastle:Location . 124 | 125 | -------------------------------------------------------------------------------- /src/main/resources/modls/csmodl/patterns/Head.ttl: -------------------------------------------------------------------------------- 1 | @prefix dc: . 2 | @prefix kastle: . 3 | @prefix opla-core: . 4 | @prefix owl: . 5 | @prefix rdf: . 6 | @prefix rdfs: . 7 | @prefix xsd: . 8 | 9 | kastle:BodyPart a rdfs:Class . 10 | 11 | kastle:Class a rdfs:Class . 12 | 13 | kastle:Ear a rdfs:Class . 14 | 15 | kastle:Ears a rdfs:Class . 16 | 17 | kastle:Eye a rdfs:Class . 18 | 19 | kastle:Eyes a rdfs:Class . 20 | 21 | kastle:Face a rdfs:Class . 22 | 23 | kastle:Forehead a rdfs:Class . 24 | 25 | kastle:Hair a rdfs:Class . 26 | 27 | kastle:Head a rdfs:Class ; 28 | rdfs:subClassOf kastle:Bodypart . 29 | 30 | kastle:HeadPart a rdfs:Class . 31 | 32 | kastle:Human a rdfs:Class . 33 | 34 | kastle:Integer a rdfs:Class . 35 | 36 | kastle:It a rdfs:Class . 37 | 38 | kastle:Mouth a rdfs:Class . 39 | 40 | kastle:Nose a rdfs:Class . 41 | 42 | kastle:Person a rdfs:Class . 43 | 44 | kastle:SensoryOrgan a rdfs:Class . 45 | 46 | kastle:Skin a rdfs:Class . 47 | 48 | a owl:Ontology ; 49 | opla-core:hasPatternName "Head Pattern"^^xsd:string ; 50 | dc:contributor "Andrew Eells"^^xsd:string, 51 | "Brandon Dave"^^xsd:string, 52 | "Dr. Cogan Shimizu"^^xsd:string, 53 | "Dr. Pascal Hitzler"^^xsd:string ; 54 | dc:creator "Andrew Eells"^^xsd:string, 55 | "Brandon Dave"^^xsd:string, 56 | "Dr. Cogan Shimizu"^^xsd:string, 57 | "Dr. Pascal Hitzler"^^xsd:string . 58 | 59 | kastle:eyeCount a rdf:Property ; 60 | rdfs:domain kastle:Head ; 61 | rdfs:range kastle:Integer . 62 | 63 | kastle:hasEar a rdf:Property ; 64 | rdfs:domain kastle:Head ; 65 | rdfs:range kastle:Ear . 66 | 67 | kastle:hasEars a rdf:Property ; 68 | rdfs:domain kastle:Head ; 69 | rdfs:range rdfs:Literal, 70 | kastle:Ear, 71 | kastle:Ears . 72 | 73 | kastle:hasEye a rdf:Property ; 74 | rdfs:domain kastle:Head ; 75 | rdfs:range kastle:Eye . 76 | 77 | kastle:hasEyeColor a rdf:Property ; 78 | rdfs:domain kastle:Head ; 79 | rdfs:range xsd:string . 80 | 81 | kastle:hasEyes a rdf:Property ; 82 | rdfs:domain kastle:Face, 83 | kastle:Head ; 84 | rdfs:range rdfs:Literal, 85 | kastle:Eye, 86 | kastle:Eyes . 87 | 88 | kastle:hasFace a rdf:Property ; 89 | rdfs:domain kastle:Head ; 90 | rdfs:range kastle:Face . 91 | 92 | kastle:hasForehead a rdf:Property ; 93 | rdfs:domain kastle:Head ; 94 | rdfs:range kastle:Forehead . 95 | 96 | kastle:hasHair a rdf:Property ; 97 | rdfs:domain kastle:Head ; 98 | rdfs:range rdfs:Literal, 99 | kastle:Hair . 100 | 101 | kastle:hasHairColor a rdf:Property ; 102 | rdfs:domain kastle:Head ; 103 | rdfs:range xsd:string . 104 | 105 | kastle:hasHead a rdf:Property ; 106 | rdfs:domain kastle:Human, 107 | kastle:Person ; 108 | rdfs:range kastle:Head . 109 | 110 | kastle:hasMouth a rdf:Property ; 111 | rdfs:domain kastle:Face, 112 | kastle:Head ; 113 | rdfs:range rdfs:Literal, 114 | kastle:Mouth . 115 | 116 | kastle:hasNose a rdf:Property ; 117 | rdfs:domain kastle:Face, 118 | kastle:Head ; 119 | rdfs:range rdfs:Literal, 120 | kastle:Nose . 121 | 122 | kastle:hasPart a rdf:Property ; 123 | rdfs:domain kastle:Head ; 124 | rdfs:range kastle:BodyPart, 125 | kastle:Class, 126 | kastle:Head, 127 | kastle:HeadPart . 128 | 129 | kastle:hasSensoryOrgan a rdf:Property ; 130 | rdfs:domain kastle:Head ; 131 | rdfs:range kastle:SensoryOrgan . 132 | 133 | kastle:hasSkin a rdf:Property ; 134 | rdfs:domain kastle:Head ; 135 | rdfs:range kastle:Skin . 136 | 137 | kastle:provides a rdf:Property ; 138 | rdfs:domain kastle:Head ; 139 | rdfs:range kastle:It . 140 | 141 | -------------------------------------------------------------------------------- /src/main/resources/modls/csmodl/patterns/Hour.ttl: -------------------------------------------------------------------------------- 1 | @prefix dc: . 2 | @prefix kastle: . 3 | @prefix opla-core: . 4 | @prefix owl: . 5 | @prefix rdf: . 6 | @prefix rdfs: . 7 | @prefix xsd: . 8 | 9 | kastle:Day a rdfs:Class . 10 | 11 | kastle:Duration a rdfs:Class ; 12 | rdfs:subClassOf kastle:Property . 13 | 14 | kastle:Entity a rdfs:Class . 15 | 16 | kastle:Hour a rdfs:Class ; 17 | rdfs:subClassOf kastle:Instant, 18 | kastle:Resource, 19 | kastle:Temporalunit . 20 | 21 | kastle:Instant a rdfs:Class ; 22 | rdfs:subClassOf kastle:Timeline . 23 | 24 | kastle:Integer a rdfs:Class . 25 | 26 | kastle:Measure a rdfs:Class . 27 | 28 | kastle:Minute a rdfs:Class ; 29 | rdfs:subClassOf kastle:Hour, 30 | kastle:Temporalunit . 31 | 32 | kastle:PartOfDay a rdfs:Class ; 33 | rdfs:subClassOf kastle:Resource . 34 | 35 | kastle:Second a rdfs:Class ; 36 | rdfs:subClassOf kastle:Minute . 37 | 38 | kastle:TemporalEntity a rdfs:Class . 39 | 40 | kastle:TemporalUnit a rdfs:Class . 41 | 42 | kastle:Time a rdfs:Class ; 43 | rdfs:subClassOf kastle:Period . 44 | 45 | kastle:TimePeriod a rdfs:Class ; 46 | rdfs:subClassOf kastle:Property . 47 | 48 | a owl:Ontology ; 49 | opla-core:hasPatternName "Hour Pattern"^^xsd:string ; 50 | dc:contributor "Andrew Eells"^^xsd:string, 51 | "Brandon Dave"^^xsd:string, 52 | "Dr. Cogan Shimizu"^^xsd:string, 53 | "Dr. Pascal Hitzler"^^xsd:string ; 54 | dc:creator "Andrew Eells"^^xsd:string, 55 | "Brandon Dave"^^xsd:string, 56 | "Dr. Cogan Shimizu"^^xsd:string, 57 | "Dr. Pascal Hitzler"^^xsd:string . 58 | 59 | kastle:endTime a rdf:Property ; 60 | rdfs:domain kastle:Hour ; 61 | rdfs:range kastle:Instant, 62 | kastle:Time, 63 | kastle:TimePeriod . 64 | 65 | kastle:hasHour a rdf:Property ; 66 | rdfs:domain kastle:Entity, 67 | kastle:Measure, 68 | kastle:TemporalEntity, 69 | kastle:Time ; 70 | rdfs:range kastle:Hour, 71 | kastle:Integer . 72 | 73 | kastle:hasMinute a rdf:Property ; 74 | rdfs:domain kastle:Hour, 75 | kastle:Measure ; 76 | rdfs:range kastle:Integer, 77 | kastle:Minute . 78 | 79 | kastle:hasMinutes a rdf:Property ; 80 | rdfs:domain kastle:Hour ; 81 | rdfs:range kastle:Integer, 82 | kastle:Minute . 83 | 84 | kastle:hasNumber a rdf:Property ; 85 | rdfs:domain kastle:Hour ; 86 | rdfs:range xsd:int . 87 | 88 | kastle:hasNumberOfHours a rdf:Property ; 89 | rdfs:domain kastle:TemporalUnit ; 90 | rdfs:range kastle:Integer . 91 | 92 | kastle:hasNumberOfMinutes a rdf:Property ; 93 | rdfs:domain kastle:Hour ; 94 | rdfs:range kastle:Integer . 95 | 96 | kastle:hasSecond a rdf:Property ; 97 | rdfs:domain kastle:Measure, 98 | kastle:Minute ; 99 | rdfs:range kastle:Integer, 100 | kastle:Second . 101 | 102 | kastle:hasTemporalDuration a rdf:Property ; 103 | rdfs:domain kastle:TemporalEntity ; 104 | rdfs:range kastle:Duration . 105 | 106 | kastle:hourOfDay a rdf:Property ; 107 | rdfs:domain kastle:TemporalEntity ; 108 | rdfs:range kastle:Hour . 109 | 110 | kastle:hourValue a rdf:Property ; 111 | rdfs:domain kastle:Hour ; 112 | rdfs:range kastle:Integer . 113 | 114 | kastle:hours a rdf:Property ; 115 | rdfs:domain kastle:TemporalEntity ; 116 | rdfs:range xsd:decimal . 117 | 118 | kastle:isInTimeZone a rdf:Property ; 119 | rdfs:domain kastle:Hour ; 120 | rdfs:range rdfs:Literal . 121 | 122 | kastle:isPartOf a rdf:Property ; 123 | rdfs:domain kastle:Hour ; 124 | rdfs:range kastle:Day, 125 | kastle:TemporalEntity . 126 | 127 | kastle:isPartOfDay a rdf:Property ; 128 | rdfs:domain kastle:Hour ; 129 | rdfs:range rdfs:Literal, 130 | kastle:Day, 131 | kastle:PartOfDay . 132 | 133 | kastle:startTime a rdf:Property ; 134 | rdfs:domain kastle:Hour ; 135 | rdfs:range kastle:Instant, 136 | kastle:Time, 137 | kastle:TimePeriod . 138 | 139 | -------------------------------------------------------------------------------- /src/main/resources/modls/csmodl/patterns/Kind.ttl: -------------------------------------------------------------------------------- 1 | @prefix dc: . 2 | @prefix kastle: . 3 | @prefix opla-core: . 4 | @prefix owl: . 5 | @prefix rdf: . 6 | @prefix rdfs: . 7 | @prefix xsd: . 8 | 9 | kastle:Entity a rdfs:Class . 10 | 11 | kastle:Kind a rdfs:Class . 12 | 13 | kastle:KindCategory a rdfs:Class ; 14 | rdfs:subClassOf kastle:Kind . 15 | 16 | kastle:N2b75fc6be8804b85a49d9004567a0c2eb1 a rdfs:Class . 17 | 18 | kastle:Property a rdfs:Class . 19 | 20 | kastle:Student a rdfs:Class ; 21 | rdfs:subClassOf kastle:Person . 22 | 23 | kastle:Teacher a rdfs:Class . 24 | 25 | kastle:Thing a rdfs:Class . 26 | 27 | a owl:Ontology ; 28 | opla-core:hasPatternName "Kind Pattern"^^xsd:string ; 29 | dc:contributor "Andrew Eells"^^xsd:string, 30 | "Brandon Dave"^^xsd:string, 31 | "Dr. Cogan Shimizu"^^xsd:string, 32 | "Dr. Pascal Hitzler"^^xsd:string ; 33 | dc:creator "Andrew Eells"^^xsd:string, 34 | "Brandon Dave"^^xsd:string, 35 | "Dr. Cogan Shimizu"^^xsd:string, 36 | "Dr. Pascal Hitzler"^^xsd:string . 37 | 38 | kastle:description a rdf:Property ; 39 | rdfs:domain kastle:Kind ; 40 | rdfs:range xsd:string . 41 | 42 | kastle:example a rdf:Property ; 43 | rdfs:domain kastle:Kind ; 44 | rdfs:range xsd:string . 45 | 46 | kastle:hasCategory a rdf:Property ; 47 | rdfs:domain kastle:Kind ; 48 | rdfs:range kastle:KindCategory . 49 | 50 | kastle:hasCharacteristic a rdf:Property ; 51 | rdfs:domain kastle:Kind ; 52 | rdfs:range rdfs:Literal, 53 | xsd:string . 54 | 55 | kastle:hasExample a rdf:Property ; 56 | rdfs:domain kastle:Kind ; 57 | rdfs:range rdfs:Literal . 58 | 59 | kastle:hasInstances a rdf:Property ; 60 | rdfs:domain kastle:Kind ; 61 | rdfs:range xsd:string . 62 | 63 | kastle:hasKind a rdf:Property ; 64 | rdfs:domain kastle:Entity, 65 | kastle:Kind, 66 | kastle:Thing ; 67 | rdfs:range kastle:Kind, 68 | kastle:N2b75fc6be8804b85a49d9004567a0c2eb1 . 69 | 70 | kastle:hasName a rdf:Property ; 71 | rdfs:domain kastle:Kind ; 72 | rdfs:range xsd:string . 73 | 74 | kastle:hasPart a rdf:Property ; 75 | rdfs:domain kastle:Kind ; 76 | rdfs:range kastle:Kind . 77 | 78 | kastle:hasProperty a rdf:Property ; 79 | rdfs:domain kastle:Kind ; 80 | rdfs:range xsd:string, 81 | kastle:Property . 82 | 83 | kastle:hasQuality a rdf:Property ; 84 | rdfs:domain kastle:Kind ; 85 | rdfs:range rdfs:Literal . 86 | 87 | kastle:hasSubKind a rdf:Property ; 88 | rdfs:domain kastle:Kind ; 89 | rdfs:range kastle:Kind . 90 | 91 | kastle:hasSuperKind a rdf:Property ; 92 | rdfs:domain kastle:Kind ; 93 | rdfs:range kastle:Kind . 94 | 95 | kastle:hasType a rdf:Property ; 96 | rdfs:domain kastle:Kind ; 97 | rdfs:range rdfs:Literal . 98 | 99 | kastle:isKindOf a rdf:Property ; 100 | rdfs:domain kastle:Kind ; 101 | rdfs:range kastle:Kind, 102 | kastle:Thing . 103 | 104 | kastle:name a rdf:Property ; 105 | rdfs:domain kastle:Kind ; 106 | rdfs:range xsd:string . 107 | 108 | kastle:provide a rdf:Property ; 109 | rdfs:domain kastle:Kind ; 110 | rdfs:range kastle:Kind . 111 | 112 | kastle:studiesFrom a rdf:Property ; 113 | rdfs:domain kastle:Student ; 114 | rdfs:range kastle:Teacher . 115 | 116 | kastle:teaches a rdf:Property ; 117 | rdfs:domain kastle:Teacher ; 118 | rdfs:range kastle:Student . 119 | 120 | kastle:understandOtherKind a rdf:Property ; 121 | rdfs:domain kastle:Kind ; 122 | rdfs:range kastle:Kind . 123 | 124 | -------------------------------------------------------------------------------- /src/main/resources/modls/csmodl/patterns/Level.ttl: -------------------------------------------------------------------------------- 1 | @prefix dc: . 2 | @prefix kastle: . 3 | @prefix opla-core: . 4 | @prefix owl: . 5 | @prefix rdf: . 6 | @prefix rdfs: . 7 | @prefix xsd: . 8 | 9 | kastle:Entity a rdfs:Class ; 10 | rdfs:subClassOf kastle:Resource . 11 | 12 | kastle:Game a rdfs:Class . 13 | 14 | kastle:Integer a rdfs:Class . 15 | 16 | kastle:Level a rdfs:Class ; 17 | rdfs:subClassOf kastle:Resource . 18 | 19 | kastle:N3abdb97a8d9d4511afd26eeee956452db1 a rdfs:Class . 20 | 21 | kastle:N3abdb97a8d9d4511afd26eeee956452db2 a rdfs:Class . 22 | 23 | kastle:Node a rdfs:Class . 24 | 25 | kastle:Person a rdfs:Class . 26 | 27 | kastle:Resource a rdfs:Class . 28 | 29 | kastle:Skill a rdfs:Class . 30 | 31 | kastle:Thing a rdfs:Class . 32 | 33 | kastle:User a rdfs:Class . 34 | 35 | a owl:Ontology ; 36 | opla-core:hasPatternName "Level Pattern"^^xsd:string ; 37 | dc:contributor "Andrew Eells"^^xsd:string, 38 | "Brandon Dave"^^xsd:string, 39 | "Dr. Cogan Shimizu"^^xsd:string, 40 | "Dr. Pascal Hitzler"^^xsd:string ; 41 | dc:creator "Andrew Eells"^^xsd:string, 42 | "Brandon Dave"^^xsd:string, 43 | "Dr. Cogan Shimizu"^^xsd:string, 44 | "Dr. Pascal Hitzler"^^xsd:string . 45 | 46 | kastle:associatedWith a rdf:Property ; 47 | rdfs:domain kastle:Level ; 48 | rdfs:range xsd:string . 49 | 50 | kastle:hasDescription a rdf:Property ; 51 | rdfs:domain kastle:Level ; 52 | rdfs:range xsd:string . 53 | 54 | kastle:hasDifficulty a rdf:Property ; 55 | rdfs:domain kastle:Level ; 56 | rdfs:range xsd:string . 57 | 58 | kastle:hasLevel a rdf:Property ; 59 | rdfs:domain kastle:Entity, 60 | kastle:Game, 61 | kastle:Level, 62 | kastle:Node, 63 | kastle:Person, 64 | kastle:Resource, 65 | kastle:Thing, 66 | kastle:User ; 67 | rdfs:range kastle:Integer, 68 | kastle:Level . 69 | 70 | kastle:hasLevelName a rdf:Property ; 71 | rdfs:domain kastle:Level ; 72 | rdfs:range xsd:string . 73 | 74 | kastle:hasLevelNumber a rdf:Property ; 75 | rdfs:domain kastle:Level ; 76 | rdfs:range xsd:decimal . 77 | 78 | kastle:hasNextLevel a rdf:Property ; 79 | rdfs:domain kastle:Level ; 80 | rdfs:range kastle:Level . 81 | 82 | kastle:hasNumber a rdf:Property ; 83 | rdfs:domain kastle:Level ; 84 | rdfs:range kastle:Integer . 85 | 86 | kastle:hasReward a rdf:Property ; 87 | rdfs:domain kastle:Level ; 88 | rdfs:range xsd:string . 89 | 90 | kastle:hasSkill a rdf:Property ; 91 | rdfs:domain kastle:Person ; 92 | rdfs:range kastle:Skill . 93 | 94 | kastle:inGame a rdf:Property ; 95 | rdfs:domain kastle:Level ; 96 | rdfs:range kastle:Game . 97 | 98 | kastle:isLevelOf a rdf:Property ; 99 | rdfs:domain kastle:Level ; 100 | rdfs:range kastle:Resource, 101 | kastle:Thing . 102 | 103 | kastle:levelDescription a rdf:Property ; 104 | rdfs:domain kastle:Level ; 105 | rdfs:range xsd:string . 106 | 107 | kastle:levelIndicator a rdf:Property ; 108 | rdfs:domain kastle:N3abdb97a8d9d4511afd26eeee956452db2 ; 109 | rdfs:range xsd:string . 110 | 111 | kastle:levelName a rdf:Property ; 112 | rdfs:domain kastle:Level ; 113 | rdfs:range xsd:string . 114 | 115 | kastle:levelNumber a rdf:Property ; 116 | rdfs:domain kastle:Level ; 117 | rdfs:range xsd:int, 118 | kastle:Integer . 119 | 120 | kastle:levelOf a rdf:Property ; 121 | rdfs:domain kastle:N3abdb97a8d9d4511afd26eeee956452db1 ; 122 | rdfs:range kastle:Level . 123 | 124 | kastle:levelValue a rdf:Property ; 125 | rdfs:domain kastle:Level ; 126 | rdfs:range xsd:string . 127 | 128 | kastle:nextLevel a rdf:Property ; 129 | rdfs:domain kastle:Level ; 130 | rdfs:range kastle:Level . 131 | 132 | kastle:previousLevel a rdf:Property ; 133 | rdfs:domain kastle:Level ; 134 | rdfs:range kastle:Level . 135 | 136 | kastle:understanding a rdf:Property ; 137 | rdfs:domain kastle:Level ; 138 | rdfs:range rdfs:Literal . 139 | 140 | -------------------------------------------------------------------------------- /src/main/resources/modls/csmodl/patterns/Line.ttl: -------------------------------------------------------------------------------- 1 | @prefix dc: . 2 | @prefix kastle: . 3 | @prefix opla-core: . 4 | @prefix owl: . 5 | @prefix rdf: . 6 | @prefix rdfs: . 7 | @prefix xsd: . 8 | 9 | kastle:Direction a rdfs:Class . 10 | 11 | kastle:Double a rdfs:Class . 12 | 13 | kastle:Integer a rdfs:Class . 14 | 15 | kastle:Line a rdfs:Class ; 16 | rdfs:subClassOf kastle:Geometricobject, 17 | kastle:Shape . 18 | 19 | kastle:Point a rdfs:Class ; 20 | rdfs:subClassOf kastle:Datatype, 21 | kastle:N1b318c35c92a45f984edc46b58ab6237b1, 22 | kastle:Shape . 23 | 24 | a owl:Ontology ; 25 | opla-core:hasPatternName "Line Pattern"^^xsd:string ; 26 | dc:contributor "Andrew Eells"^^xsd:string, 27 | "Brandon Dave"^^xsd:string, 28 | "Dr. Cogan Shimizu"^^xsd:string, 29 | "Dr. Pascal Hitzler"^^xsd:string ; 30 | dc:creator "Andrew Eells"^^xsd:string, 31 | "Brandon Dave"^^xsd:string, 32 | "Dr. Cogan Shimizu"^^xsd:string, 33 | "Dr. Pascal Hitzler"^^xsd:string . 34 | 35 | kastle:endPoint a rdf:Property ; 36 | rdfs:domain kastle:Line ; 37 | rdfs:range kastle:Integer, 38 | kastle:Point . 39 | 40 | kastle:hasCoordinate a rdf:Property ; 41 | rdfs:domain kastle:Point ; 42 | rdfs:range xsd:decimal . 43 | 44 | kastle:hasDirection a rdf:Property ; 45 | rdfs:domain kastle:Line ; 46 | rdfs:range kastle:Direction . 47 | 48 | kastle:hasEnd a rdf:Property ; 49 | rdfs:domain kastle:Line ; 50 | rdfs:range xsd:float, 51 | kastle:Point . 52 | 53 | kastle:hasEndPoint a rdf:Property ; 54 | rdfs:domain kastle:Line ; 55 | rdfs:range kastle:Point . 56 | 57 | kastle:hasLength a rdf:Property ; 58 | rdfs:domain kastle:Line ; 59 | rdfs:range xsd:decimal, 60 | xsd:float, 61 | kastle:Double . 62 | 63 | kastle:hasPoint a rdf:Property ; 64 | rdfs:domain kastle:Line ; 65 | rdfs:range kastle:Point . 66 | 67 | kastle:hasStart a rdf:Property ; 68 | rdfs:domain kastle:Line ; 69 | rdfs:range xsd:float, 70 | kastle:Point . 71 | 72 | kastle:hasStartPoint a rdf:Property ; 73 | rdfs:domain kastle:Line ; 74 | rdfs:range kastle:Point . 75 | 76 | kastle:hasX a rdf:Property ; 77 | rdfs:domain kastle:Point ; 78 | rdfs:range xsd:decimal . 79 | 80 | kastle:hasXCoordinate a rdf:Property ; 81 | rdfs:domain kastle:Point ; 82 | rdfs:range rdfs:Literal, 83 | xsd:decimal, 84 | xsd:float, 85 | kastle:Double . 86 | 87 | kastle:hasXYCoordinates a rdf:Property ; 88 | rdfs:domain kastle:Point ; 89 | rdfs:range xsd:string . 90 | 91 | kastle:hasY a rdf:Property ; 92 | rdfs:domain kastle:Point ; 93 | rdfs:range xsd:decimal . 94 | 95 | kastle:hasYCoordinate a rdf:Property ; 96 | rdfs:domain kastle:Point ; 97 | rdfs:range rdfs:Literal, 98 | xsd:decimal, 99 | xsd:float, 100 | kastle:Double . 101 | 102 | kastle:hasZCoordinate a rdf:Property ; 103 | rdfs:domain kastle:Point ; 104 | rdfs:range kastle:Double . 105 | 106 | kastle:isParallelTo a rdf:Property ; 107 | rdfs:domain kastle:Line ; 108 | rdfs:range kastle:Line . 109 | 110 | kastle:isPerpendicularTo a rdf:Property ; 111 | rdfs:domain kastle:Line ; 112 | rdfs:range kastle:Line . 113 | 114 | kastle:isStraight a rdf:Property ; 115 | rdfs:domain kastle:Line ; 116 | rdfs:range xsd:boolean . 117 | 118 | kastle:length a rdf:Property ; 119 | rdfs:domain kastle:Line ; 120 | rdfs:range xsd:float . 121 | 122 | kastle:slope a rdf:Property ; 123 | rdfs:domain kastle:Line ; 124 | rdfs:range xsd:float . 125 | 126 | kastle:startPoint a rdf:Property ; 127 | rdfs:domain kastle:Line ; 128 | rdfs:range kastle:Integer, 129 | kastle:Point . 130 | 131 | kastle:x a rdf:Property ; 132 | rdfs:domain kastle:Point ; 133 | rdfs:range xsd:float . 134 | 135 | kastle:xCoordinate a rdf:Property ; 136 | rdfs:domain kastle:Point ; 137 | rdfs:range xsd:float . 138 | 139 | kastle:y a rdf:Property ; 140 | rdfs:domain kastle:Point ; 141 | rdfs:range xsd:float . 142 | 143 | kastle:yCoordinate a rdf:Property ; 144 | rdfs:domain kastle:Point ; 145 | rdfs:range xsd:float . 146 | 147 | -------------------------------------------------------------------------------- /src/main/resources/modls/csmodl/patterns/Month.ttl: -------------------------------------------------------------------------------- 1 | @prefix dc: . 2 | @prefix kastle: . 3 | @prefix opla-core: . 4 | @prefix owl: . 5 | @prefix rdf: . 6 | @prefix rdfs: . 7 | @prefix xsd: . 8 | 9 | kastle:Date a rdfs:Class . 10 | 11 | kastle:Integer a rdfs:Class . 12 | 13 | kastle:Month a rdfs:Class ; 14 | rdfs:subClassOf kastle:Temporalentity, 15 | kastle:Timeperiod . 16 | 17 | kastle:Number a rdfs:Class . 18 | 19 | kastle:Year a rdfs:Class . 20 | 21 | a owl:Ontology ; 22 | opla-core:hasPatternName "Month Pattern"^^xsd:string ; 23 | dc:contributor "Andrew Eells"^^xsd:string, 24 | "Brandon Dave"^^xsd:string, 25 | "Dr. Cogan Shimizu"^^xsd:string, 26 | "Dr. Pascal Hitzler"^^xsd:string ; 27 | dc:creator "Andrew Eells"^^xsd:string, 28 | "Brandon Dave"^^xsd:string, 29 | "Dr. Cogan Shimizu"^^xsd:string, 30 | "Dr. Pascal Hitzler"^^xsd:string . 31 | 32 | kastle:hasCalendarOrder a rdf:Property ; 33 | rdfs:domain kastle:Month ; 34 | rdfs:range kastle:Integer . 35 | 36 | kastle:hasDays a rdf:Property ; 37 | rdfs:domain kastle:Month ; 38 | rdfs:range kastle:Integer . 39 | 40 | kastle:hasMonth a rdf:Property ; 41 | rdfs:domain kastle:Date, 42 | kastle:Year ; 43 | rdfs:range kastle:Month . 44 | 45 | kastle:hasName a rdf:Property ; 46 | rdfs:domain kastle:Month ; 47 | rdfs:range xsd:string . 48 | 49 | kastle:hasNumberOfDays a rdf:Property ; 50 | rdfs:domain kastle:Month ; 51 | rdfs:range kastle:Integer . 52 | 53 | kastle:hasOrder a rdf:Property ; 54 | rdfs:domain kastle:Month ; 55 | rdfs:range kastle:Number . 56 | 57 | -------------------------------------------------------------------------------- /src/main/resources/modls/csmodl/patterns/Mother.ttl: -------------------------------------------------------------------------------- 1 | @prefix dc: . 2 | @prefix kastle: . 3 | @prefix opla-core: . 4 | @prefix owl: . 5 | @prefix rdf: . 6 | @prefix rdfs: . 7 | @prefix xsd: . 8 | 9 | kastle:Child a rdfs:Class ; 10 | rdfs:subClassOf kastle:Person . 11 | 12 | kastle:Human a rdfs:Class . 13 | 14 | kastle:HumanBeing a rdfs:Class . 15 | 16 | kastle:Husband a rdfs:Class . 17 | 18 | kastle:Integer a rdfs:Class . 19 | 20 | kastle:Mother a rdfs:Class ; 21 | rdfs:subClassOf kastle:Female, 22 | kastle:Femalehuman, 23 | kastle:Human, 24 | kastle:Person, 25 | kastle:Woman . 26 | 27 | kastle:N0d5e305adf3b4a2da06b22287d484de3b1 a rdfs:Class . 28 | 29 | kastle:Person a rdfs:Class ; 30 | rdfs:subClassOf kastle:N0d29d15ecbe642f980ed0a7ca64ba58ab1 . 31 | 32 | a owl:Ontology ; 33 | opla-core:hasPatternName "Mother Pattern"^^xsd:string ; 34 | dc:contributor "Andrew Eells"^^xsd:string, 35 | "Brandon Dave"^^xsd:string, 36 | "Dr. Cogan Shimizu"^^xsd:string, 37 | "Dr. Pascal Hitzler"^^xsd:string ; 38 | dc:creator "Andrew Eells"^^xsd:string, 39 | "Brandon Dave"^^xsd:string, 40 | "Dr. Cogan Shimizu"^^xsd:string, 41 | "Dr. Pascal Hitzler"^^xsd:string . 42 | 43 | kastle:age a rdf:Property ; 44 | rdfs:domain kastle:Mother ; 45 | rdfs:range kastle:Integer . 46 | 47 | kastle:daughterOf a rdf:Property ; 48 | rdfs:domain kastle:Person ; 49 | rdfs:range kastle:Person . 50 | 51 | kastle:givenBirth a rdf:Property ; 52 | rdfs:domain kastle:Mother ; 53 | rdfs:range kastle:Child . 54 | 55 | kastle:givesBirthTo a rdf:Property ; 56 | rdfs:domain kastle:Mother ; 57 | rdfs:range kastle:Child . 58 | 59 | kastle:hasAge a rdf:Property ; 60 | rdfs:domain kastle:Mother ; 61 | rdfs:range kastle:Integer . 62 | 63 | kastle:hasChild a rdf:Property ; 64 | rdfs:domain kastle:Mother ; 65 | rdfs:range kastle:Child, 66 | kastle:Person . 67 | 68 | kastle:hasMother a rdf:Property ; 69 | rdfs:domain kastle:Child, 70 | kastle:Human, 71 | kastle:HumanBeing, 72 | kastle:Person ; 73 | rdfs:range kastle:Mother . 74 | 75 | kastle:hasName a rdf:Property ; 76 | rdfs:domain kastle:Mother ; 77 | rdfs:range xsd:string . 78 | 79 | kastle:hasOccupation a rdf:Property ; 80 | rdfs:domain kastle:Mother ; 81 | rdfs:range xsd:string . 82 | 83 | kastle:hasOffspring a rdf:Property ; 84 | rdfs:domain kastle:Person ; 85 | rdfs:range kastle:Person . 86 | 87 | kastle:hasParent a rdf:Property ; 88 | rdfs:domain kastle:Person ; 89 | rdfs:range kastle:Person . 90 | 91 | kastle:hasRelationship a rdf:Property ; 92 | rdfs:domain kastle:Mother ; 93 | rdfs:range kastle:Husband . 94 | 95 | kastle:hasSpouse a rdf:Property ; 96 | rdfs:domain kastle:Mother ; 97 | rdfs:range kastle:Person . 98 | 99 | kastle:isDaughterOf a rdf:Property ; 100 | rdfs:domain kastle:Person ; 101 | rdfs:range kastle:Mother . 102 | 103 | kastle:isMarried a rdf:Property ; 104 | rdfs:domain kastle:Mother ; 105 | rdfs:range kastle:Person . 106 | 107 | kastle:isMotherOf a rdf:Property ; 108 | rdfs:domain kastle:Mother ; 109 | rdfs:range kastle:Human, 110 | kastle:HumanBeing, 111 | kastle:Person . 112 | 113 | kastle:isSonOf a rdf:Property ; 114 | rdfs:domain kastle:Person ; 115 | rdfs:range kastle:Mother . 116 | 117 | kastle:isWidowed a rdf:Property ; 118 | rdfs:domain kastle:Mother ; 119 | rdfs:range xsd:boolean . 120 | 121 | kastle:motherOf a rdf:Property ; 122 | rdfs:domain kastle:Person ; 123 | rdfs:range kastle:Person . 124 | 125 | kastle:name a rdf:Property ; 126 | rdfs:domain kastle:Mother, 127 | kastle:N0d5e305adf3b4a2da06b22287d484de3b1 ; 128 | rdfs:range xsd:string . 129 | 130 | kastle:occupation a rdf:Property ; 131 | rdfs:domain kastle:Mother ; 132 | rdfs:range xsd:string . 133 | 134 | kastle:sonOf a rdf:Property ; 135 | rdfs:domain kastle:Person ; 136 | rdfs:range kastle:Person . 137 | 138 | -------------------------------------------------------------------------------- /src/main/resources/modls/csmodl/patterns/Name.ttl: -------------------------------------------------------------------------------- 1 | @prefix dc: . 2 | @prefix kastle: . 3 | @prefix opla-core: . 4 | @prefix owl: . 5 | @prefix rdf: . 6 | @prefix rdfs: . 7 | @prefix xsd: . 8 | 9 | kastle:Entity a rdfs:Class . 10 | 11 | kastle:Name a rdfs:Class ; 12 | rdfs:subClassOf kastle:Literal . 13 | 14 | kastle:NameEntity a rdfs:Class . 15 | 16 | kastle:Person a rdfs:Class . 17 | 18 | a owl:Ontology ; 19 | opla-core:hasPatternName "Name Pattern"^^xsd:string ; 20 | dc:contributor "Andrew Eells"^^xsd:string, 21 | "Brandon Dave"^^xsd:string, 22 | "Dr. Cogan Shimizu"^^xsd:string, 23 | "Dr. Pascal Hitzler"^^xsd:string ; 24 | dc:creator "Andrew Eells"^^xsd:string, 25 | "Brandon Dave"^^xsd:string, 26 | "Dr. Cogan Shimizu"^^xsd:string, 27 | "Dr. Pascal Hitzler"^^xsd:string . 28 | 29 | kastle:entityName a rdf:Property ; 30 | rdfs:domain kastle:Entity ; 31 | rdfs:range kastle:Name . 32 | 33 | kastle:familyName a rdf:Property ; 34 | rdfs:domain kastle:Name ; 35 | rdfs:range xsd:string . 36 | 37 | kastle:firstName a rdf:Property ; 38 | rdfs:domain kastle:Name, 39 | kastle:Person ; 40 | rdfs:range xsd:string, 41 | kastle:Name . 42 | 43 | kastle:fullName a rdf:Property ; 44 | rdfs:domain kastle:Name, 45 | kastle:Person ; 46 | rdfs:range xsd:string . 47 | 48 | kastle:givenName a rdf:Property ; 49 | rdfs:domain kastle:Name ; 50 | rdfs:range xsd:string . 51 | 52 | kastle:hasFirstName a rdf:Property ; 53 | rdfs:domain kastle:Name, 54 | kastle:Person ; 55 | rdfs:range rdfs:Literal, 56 | xsd:string, 57 | kastle:Name . 58 | 59 | kastle:hasFullName a rdf:Property ; 60 | rdfs:domain kastle:Name ; 61 | rdfs:range rdfs:Literal . 62 | 63 | kastle:hasLastName a rdf:Property ; 64 | rdfs:domain kastle:Name, 65 | kastle:Person ; 66 | rdfs:range rdfs:Literal, 67 | xsd:string, 68 | kastle:Name . 69 | 70 | kastle:hasMiddleName a rdf:Property ; 71 | rdfs:domain kastle:Name ; 72 | rdfs:range rdfs:Literal, 73 | xsd:string . 74 | 75 | kastle:hasName a rdf:Property ; 76 | rdfs:domain kastle:NameEntity, 77 | kastle:Person ; 78 | rdfs:range xsd:string, 79 | kastle:Name . 80 | 81 | kastle:hasNamePrefix a rdf:Property ; 82 | rdfs:domain kastle:Name ; 83 | rdfs:range rdfs:Literal . 84 | 85 | kastle:hasNameSuffix a rdf:Property ; 86 | rdfs:domain kastle:Name ; 87 | rdfs:range rdfs:Literal . 88 | 89 | kastle:hasNickName a rdf:Property ; 90 | rdfs:domain kastle:Name ; 91 | rdfs:range rdfs:Literal . 92 | 93 | kastle:hasPrefix a rdf:Property ; 94 | rdfs:domain kastle:Name ; 95 | rdfs:range xsd:string . 96 | 97 | kastle:hasSuffix a rdf:Property ; 98 | rdfs:domain kastle:Name ; 99 | rdfs:range xsd:string . 100 | 101 | kastle:hasfirstName a rdf:Property ; 102 | rdfs:domain kastle:Name ; 103 | rdfs:range xsd:string . 104 | 105 | kastle:haslastName a rdf:Property ; 106 | rdfs:domain kastle:Name ; 107 | rdfs:range xsd:string . 108 | 109 | kastle:hasmiddleName a rdf:Property ; 110 | rdfs:domain kastle:Name ; 111 | rdfs:range xsd:string . 112 | 113 | kastle:lastName a rdf:Property ; 114 | rdfs:domain kastle:Name, 115 | kastle:Person ; 116 | rdfs:range xsd:string, 117 | kastle:Name . 118 | 119 | kastle:middleName a rdf:Property ; 120 | rdfs:domain kastle:Name ; 121 | rdfs:range xsd:string . 122 | 123 | kastle:namePrefix a rdf:Property ; 124 | rdfs:domain kastle:Name ; 125 | rdfs:range xsd:string . 126 | 127 | kastle:nameSuffix a rdf:Property ; 128 | rdfs:domain kastle:Name ; 129 | rdfs:range xsd:string . 130 | 131 | kastle:nickName a rdf:Property ; 132 | rdfs:domain kastle:Name, 133 | kastle:Person ; 134 | rdfs:range xsd:string, 135 | kastle:Name . 136 | 137 | -------------------------------------------------------------------------------- /src/main/resources/modls/csmodl/patterns/Number.ttl: -------------------------------------------------------------------------------- 1 | @prefix dc: . 2 | @prefix kastle: . 3 | @prefix opla-core: . 4 | @prefix owl: . 5 | @prefix rdf: . 6 | @prefix rdfs: . 7 | @prefix xsd: . 8 | 9 | kastle:Complex a rdfs:Class ; 10 | rdfs:subClassOf kastle:Number . 11 | 12 | kastle:Floatnumber a rdfs:Class ; 13 | rdfs:subClassOf kastle:Number . 14 | 15 | kastle:Integer a rdfs:Class ; 16 | rdfs:subClassOf kastle:Number . 17 | 18 | kastle:Integernumber a rdfs:Class ; 19 | rdfs:subClassOf kastle:Number . 20 | 21 | kastle:Number a rdfs:Class . 22 | 23 | kastle:Real a rdfs:Class ; 24 | rdfs:subClassOf kastle:Number . 25 | 26 | a owl:Ontology ; 27 | opla-core:hasPatternName "Number Pattern"^^xsd:string ; 28 | dc:contributor "Andrew Eells"^^xsd:string, 29 | "Brandon Dave"^^xsd:string, 30 | "Dr. Cogan Shimizu"^^xsd:string, 31 | "Dr. Pascal Hitzler"^^xsd:string ; 32 | dc:creator "Andrew Eells"^^xsd:string, 33 | "Brandon Dave"^^xsd:string, 34 | "Dr. Cogan Shimizu"^^xsd:string, 35 | "Dr. Pascal Hitzler"^^xsd:string . 36 | 37 | kastle:even a rdf:Property ; 38 | rdfs:domain kastle:Integer ; 39 | rdfs:range xsd:boolean . 40 | 41 | kastle:greaterThan a rdf:Property ; 42 | rdfs:domain kastle:Number ; 43 | rdfs:range kastle:Number . 44 | 45 | kastle:hasValue a rdf:Property ; 46 | rdfs:domain kastle:Number ; 47 | rdfs:range rdfs:Literal, 48 | xsd:decimal . 49 | 50 | kastle:imaginaryPart a rdf:Property ; 51 | rdfs:domain kastle:Complex ; 52 | rdfs:range kastle:Real . 53 | 54 | kastle:isDivisibleBy a rdf:Property ; 55 | rdfs:domain kastle:Number ; 56 | rdfs:range kastle:Number . 57 | 58 | kastle:isEqual a rdf:Property ; 59 | rdfs:domain kastle:Number ; 60 | rdfs:range kastle:Number . 61 | 62 | kastle:isEven a rdf:Property ; 63 | rdfs:domain kastle:Integer ; 64 | rdfs:range xsd:boolean . 65 | 66 | kastle:isGreaterThan a rdf:Property ; 67 | rdfs:domain kastle:Number ; 68 | rdfs:range kastle:Number . 69 | 70 | kastle:isImaginary a rdf:Property ; 71 | rdfs:domain kastle:Complex ; 72 | rdfs:range xsd:boolean . 73 | 74 | kastle:isIrrational a rdf:Property ; 75 | rdfs:domain kastle:Real ; 76 | rdfs:range xsd:boolean . 77 | 78 | kastle:isLessThan a rdf:Property ; 79 | rdfs:domain kastle:Number ; 80 | rdfs:range kastle:Number . 81 | 82 | kastle:isNegative a rdf:Property ; 83 | rdfs:domain kastle:Number ; 84 | rdfs:range xsd:boolean . 85 | 86 | kastle:isPartOf a rdf:Property ; 87 | rdfs:domain kastle:Number ; 88 | rdfs:range kastle:Number . 89 | 90 | kastle:isPositive a rdf:Property ; 91 | rdfs:domain kastle:Integer, 92 | kastle:Number ; 93 | rdfs:range xsd:boolean . 94 | 95 | kastle:lessThan a rdf:Property ; 96 | rdfs:domain kastle:Number ; 97 | rdfs:range kastle:Number . 98 | 99 | kastle:negative a rdf:Property ; 100 | rdfs:domain kastle:Integer ; 101 | rdfs:range xsd:boolean . 102 | 103 | kastle:numberValue a rdf:Property ; 104 | rdfs:domain kastle:Number ; 105 | rdfs:range xsd:decimal . 106 | 107 | kastle:numberValueFloat a rdf:Property ; 108 | rdfs:domain kastle:Floatnumber ; 109 | rdfs:range xsd:float . 110 | 111 | kastle:numberValueInteger a rdf:Property ; 112 | rdfs:domain kastle:Integernumber ; 113 | rdfs:range kastle:Integer . 114 | 115 | kastle:realPart a rdf:Property ; 116 | rdfs:domain kastle:Complex ; 117 | rdfs:range kastle:Real . 118 | 119 | kastle:size a rdf:Property ; 120 | rdfs:domain kastle:Number ; 121 | rdfs:range xsd:int . 122 | 123 | kastle:value a rdf:Property ; 124 | rdfs:domain kastle:Number ; 125 | rdfs:range xsd:decimal . 126 | 127 | -------------------------------------------------------------------------------- /src/main/resources/modls/csmodl/patterns/Parent.ttl: -------------------------------------------------------------------------------- 1 | @prefix dc: . 2 | @prefix kastle: . 3 | @prefix opla-core: . 4 | @prefix owl: . 5 | @prefix rdf: . 6 | @prefix rdfs: . 7 | @prefix xsd: . 8 | 9 | kastle:Child a rdfs:Class ; 10 | rdfs:subClassOf kastle:N1c93b68e14c547a9ad82d4c50942ee5eb3 . 11 | 12 | kastle:Father a rdfs:Class ; 13 | rdfs:subClassOf kastle:Parent . 14 | 15 | kastle:Gender a rdfs:Class . 16 | 17 | kastle:Human a rdfs:Class . 18 | 19 | kastle:Integer a rdfs:Class . 20 | 21 | kastle:Man a rdfs:Class . 22 | 23 | kastle:Mother a rdfs:Class ; 24 | rdfs:subClassOf kastle:Parent . 25 | 26 | kastle:Nonnegativeinteger a rdfs:Class . 27 | 28 | kastle:Parent a rdfs:Class ; 29 | rdfs:subClassOf kastle:Person . 30 | 31 | kastle:Person a rdfs:Class . 32 | 33 | kastle:Woman a rdfs:Class . 34 | 35 | a owl:Ontology ; 36 | opla-core:hasPatternName "Parent Pattern"^^xsd:string ; 37 | dc:contributor "Andrew Eells"^^xsd:string, 38 | "Brandon Dave"^^xsd:string, 39 | "Dr. Cogan Shimizu"^^xsd:string, 40 | "Dr. Pascal Hitzler"^^xsd:string ; 41 | dc:creator "Andrew Eells"^^xsd:string, 42 | "Brandon Dave"^^xsd:string, 43 | "Dr. Cogan Shimizu"^^xsd:string, 44 | "Dr. Pascal Hitzler"^^xsd:string . 45 | 46 | kastle:age a rdf:Property ; 47 | rdfs:domain kastle:Person ; 48 | rdfs:range kastle:Integer . 49 | 50 | kastle:childOf a rdf:Property ; 51 | rdfs:domain kastle:Person ; 52 | rdfs:range kastle:Parent . 53 | 54 | kastle:father a rdf:Property ; 55 | rdfs:domain kastle:Parent ; 56 | rdfs:range kastle:Man . 57 | 58 | kastle:firstName a rdf:Property ; 59 | rdfs:domain kastle:Person ; 60 | rdfs:range xsd:string . 61 | 62 | kastle:hasAge a rdf:Property ; 63 | rdfs:domain kastle:Parent, 64 | kastle:Person ; 65 | rdfs:range kastle:Integer, 66 | kastle:Nonnegativeinteger . 67 | 68 | kastle:hasChild a rdf:Property ; 69 | rdfs:domain kastle:Parent, 70 | kastle:Person ; 71 | rdfs:range kastle:Child, 72 | kastle:Human, 73 | kastle:Person . 74 | 75 | kastle:hasFather a rdf:Property ; 76 | rdfs:domain kastle:Person ; 77 | rdfs:range kastle:Parent . 78 | 79 | kastle:hasGender a rdf:Property ; 80 | rdfs:domain kastle:Parent ; 81 | rdfs:range kastle:Gender . 82 | 83 | kastle:hasMother a rdf:Property ; 84 | rdfs:domain kastle:Person ; 85 | rdfs:range kastle:Parent . 86 | 87 | kastle:hasName a rdf:Property ; 88 | rdfs:domain kastle:Parent, 89 | kastle:Person ; 90 | rdfs:range xsd:string . 91 | 92 | kastle:hasParent a rdf:Property ; 93 | rdfs:domain kastle:Child, 94 | kastle:Person ; 95 | rdfs:range kastle:Parent, 96 | kastle:Person . 97 | 98 | kastle:hasSpouse a rdf:Property ; 99 | rdfs:domain kastle:Parent ; 100 | rdfs:range kastle:Parent . 101 | 102 | kastle:isChildOf a rdf:Property ; 103 | rdfs:domain kastle:Child, 104 | kastle:Person ; 105 | rdfs:range xsd:string, 106 | kastle:Parent . 107 | 108 | kastle:isFatherOf a rdf:Property ; 109 | rdfs:domain kastle:Father ; 110 | rdfs:range kastle:Person . 111 | 112 | kastle:isMarriedTo a rdf:Property ; 113 | rdfs:domain kastle:Parent ; 114 | rdfs:range kastle:Parent . 115 | 116 | kastle:isMotherOf a rdf:Property ; 117 | rdfs:domain kastle:Mother ; 118 | rdfs:range kastle:Person . 119 | 120 | kastle:isParentOf a rdf:Property ; 121 | rdfs:domain kastle:Parent ; 122 | rdfs:range xsd:string, 123 | kastle:Person . 124 | 125 | kastle:lastName a rdf:Property ; 126 | rdfs:domain kastle:Person ; 127 | rdfs:range xsd:string . 128 | 129 | kastle:mother a rdf:Property ; 130 | rdfs:domain kastle:Parent ; 131 | rdfs:range kastle:Woman . 132 | 133 | -------------------------------------------------------------------------------- /src/main/resources/modls/csmodl/patterns/Point.ttl: -------------------------------------------------------------------------------- 1 | @prefix dc: . 2 | @prefix kastle: . 3 | @prefix opla-core: . 4 | @prefix owl: . 5 | @prefix rdf: . 6 | @prefix rdfs: . 7 | @prefix xsd: . 8 | 9 | kastle:Double a rdfs:Class . 10 | 11 | kastle:Plane a rdfs:Class . 12 | 13 | kastle:Point a rdfs:Class ; 14 | rdfs:subClassOf kastle:Resource . 15 | 16 | kastle:Real a rdfs:Class . 17 | 18 | kastle:X_coordinate a rdfs:Class . 19 | 20 | kastle:Y_coordinate a rdfs:Class . 21 | 22 | kastle:Z_coordinate a rdfs:Class . 23 | 24 | a owl:Ontology ; 25 | opla-core:hasPatternName "Point Pattern"^^xsd:string ; 26 | dc:contributor "Andrew Eells"^^xsd:string, 27 | "Brandon Dave"^^xsd:string, 28 | "Dr. Cogan Shimizu"^^xsd:string, 29 | "Dr. Pascal Hitzler"^^xsd:string ; 30 | dc:creator "Andrew Eells"^^xsd:string, 31 | "Brandon Dave"^^xsd:string, 32 | "Dr. Cogan Shimizu"^^xsd:string, 33 | "Dr. Pascal Hitzler"^^xsd:string . 34 | 35 | kastle:belongs_to a rdf:Property ; 36 | rdfs:domain kastle:Point ; 37 | rdfs:range kastle:Point . 38 | 39 | kastle:hasPoint a rdf:Property ; 40 | rdfs:domain kastle:Plane ; 41 | rdfs:range kastle:Point . 42 | 43 | kastle:hasX a rdf:Property ; 44 | rdfs:domain kastle:Point ; 45 | rdfs:range xsd:float . 46 | 47 | kastle:hasXCoordinate a rdf:Property ; 48 | rdfs:domain kastle:Point ; 49 | rdfs:range xsd:decimal, 50 | kastle:Double, 51 | kastle:Real, 52 | kastle:X_coordinate . 53 | 54 | kastle:hasY a rdf:Property ; 55 | rdfs:domain kastle:Point ; 56 | rdfs:range xsd:float . 57 | 58 | kastle:hasYCoordinate a rdf:Property ; 59 | rdfs:domain kastle:Point ; 60 | rdfs:range xsd:decimal, 61 | kastle:Double, 62 | kastle:Real, 63 | kastle:Y_coordinate . 64 | 65 | kastle:hasZ a rdf:Property ; 66 | rdfs:domain kastle:Point ; 67 | rdfs:range xsd:float . 68 | 69 | kastle:hasZCoordinate a rdf:Property ; 70 | rdfs:domain kastle:Point ; 71 | rdfs:range xsd:decimal, 72 | kastle:Z_coordinate . 73 | 74 | kastle:isOrigin a rdf:Property ; 75 | rdfs:domain kastle:Point ; 76 | rdfs:range xsd:boolean . 77 | 78 | kastle:locatedInPlane a rdf:Property ; 79 | rdfs:domain kastle:Point ; 80 | rdfs:range kastle:Plane . 81 | 82 | kastle:x a rdf:Property ; 83 | rdfs:domain kastle:Point ; 84 | rdfs:range xsd:decimal, 85 | xsd:float . 86 | 87 | kastle:xCoordinate a rdf:Property ; 88 | rdfs:domain kastle:Point ; 89 | rdfs:range xsd:decimal, 90 | xsd:float, 91 | kastle:Double . 92 | 93 | kastle:y a rdf:Property ; 94 | rdfs:domain kastle:Point ; 95 | rdfs:range xsd:decimal, 96 | xsd:float . 97 | 98 | kastle:yCoordinate a rdf:Property ; 99 | rdfs:domain kastle:Point ; 100 | rdfs:range xsd:decimal, 101 | xsd:float, 102 | kastle:Double . 103 | 104 | kastle:zCoordinate a rdf:Property ; 105 | rdfs:domain kastle:Point ; 106 | rdfs:range xsd:decimal, 107 | xsd:float . 108 | 109 | -------------------------------------------------------------------------------- /src/main/resources/modls/csmodl/patterns/Side.ttl: -------------------------------------------------------------------------------- 1 | @prefix dc: . 2 | @prefix kastle: . 3 | @prefix opla-core: . 4 | @prefix owl: . 5 | @prefix rdf: . 6 | @prefix rdfs: . 7 | @prefix xsd: . 8 | 9 | kastle:Anything a rdfs:Class . 10 | 11 | kastle:Class a rdfs:Class . 12 | 13 | kastle:Entity a rdfs:Class . 14 | 15 | kastle:Object a rdfs:Class . 16 | 17 | kastle:Orientation a rdfs:Class . 18 | 19 | kastle:RectangularObject a rdfs:Class . 20 | 21 | kastle:Resource a rdfs:Class . 22 | 23 | kastle:Side a rdfs:Class . 24 | 25 | kastle:SideType a rdfs:Class . 26 | 27 | kastle:String a rdfs:Class . 28 | 29 | kastle:Thing a rdfs:Class . 30 | 31 | a owl:Ontology ; 32 | opla-core:hasPatternName "Side Pattern"^^xsd:string ; 33 | dc:contributor "Andrew Eells"^^xsd:string, 34 | "Brandon Dave"^^xsd:string, 35 | "Dr. Cogan Shimizu"^^xsd:string, 36 | "Dr. Pascal Hitzler"^^xsd:string ; 37 | dc:creator "Andrew Eells"^^xsd:string, 38 | "Brandon Dave"^^xsd:string, 39 | "Dr. Cogan Shimizu"^^xsd:string, 40 | "Dr. Pascal Hitzler"^^xsd:string . 41 | 42 | kastle:belongsToObject a rdf:Property ; 43 | rdfs:domain kastle:Side ; 44 | rdfs:range kastle:Class . 45 | 46 | kastle:hasBackSide a rdf:Property ; 47 | rdfs:domain kastle:Thing ; 48 | rdfs:range kastle:Side . 49 | 50 | kastle:hasFrontSide a rdf:Property ; 51 | rdfs:domain kastle:Thing ; 52 | rdfs:range kastle:Side . 53 | 54 | kastle:hasLeftSide a rdf:Property ; 55 | rdfs:domain kastle:Thing ; 56 | rdfs:range kastle:Side . 57 | 58 | kastle:hasLength a rdf:Property ; 59 | rdfs:domain kastle:Side ; 60 | rdfs:range xsd:float . 61 | 62 | kastle:hasOpponent a rdf:Property ; 63 | rdfs:domain kastle:Side ; 64 | rdfs:range kastle:Side . 65 | 66 | kastle:hasOrientation a rdf:Property ; 67 | rdfs:domain kastle:Side ; 68 | rdfs:range kastle:Orientation . 69 | 70 | kastle:hasRelatedObject a rdf:Property ; 71 | rdfs:domain kastle:Side ; 72 | rdfs:range kastle:Object . 73 | 74 | kastle:hasRightSide a rdf:Property ; 75 | rdfs:domain kastle:Thing ; 76 | rdfs:range kastle:Side . 77 | 78 | kastle:hasSide a rdf:Property ; 79 | rdfs:domain kastle:Anything, 80 | kastle:Entity, 81 | kastle:Object, 82 | kastle:RectangularObject, 83 | kastle:Side, 84 | kastle:Thing ; 85 | rdfs:range xsd:string, 86 | kastle:Side . 87 | 88 | kastle:hasSideType a rdf:Property ; 89 | rdfs:domain kastle:Side ; 90 | rdfs:range kastle:SideType . 91 | 92 | kastle:isSideOf a rdf:Property ; 93 | rdfs:domain kastle:Side, 94 | kastle:String ; 95 | rdfs:range kastle:Side, 96 | kastle:Thing . 97 | 98 | kastle:opposite a rdf:Property ; 99 | rdfs:domain kastle:Side ; 100 | rdfs:range kastle:Side . 101 | 102 | kastle:oppositeTo a rdf:Property ; 103 | rdfs:domain kastle:Side ; 104 | rdfs:range kastle:Side . 105 | 106 | kastle:relatedTo a rdf:Property ; 107 | rdfs:domain kastle:Resource ; 108 | rdfs:range kastle:Side . 109 | 110 | kastle:symmetricTo a rdf:Property ; 111 | rdfs:domain kastle:Side ; 112 | rdfs:range kastle:Side . 113 | 114 | -------------------------------------------------------------------------------- /src/main/resources/modls/csmodl/patterns/State.ttl: -------------------------------------------------------------------------------- 1 | @prefix dc: . 2 | @prefix kastle: . 3 | @prefix opla-core: . 4 | @prefix owl: . 5 | @prefix rdf: . 6 | @prefix rdfs: . 7 | @prefix xsd: . 8 | 9 | kastle:City a rdfs:Class . 10 | 11 | kastle:Country a rdfs:Class ; 12 | rdfs:subClassOf kastle:Feature, 13 | kastle:Geographicalentity . 14 | 15 | kastle:Entity a rdfs:Class . 16 | 17 | kastle:Integer a rdfs:Class . 18 | 19 | kastle:State a rdfs:Class ; 20 | rdfs:subClassOf kastle:Administrativeregion, 21 | kastle:Feature, 22 | kastle:Geographicalentity . 23 | 24 | a owl:Ontology ; 25 | opla-core:hasPatternName "State Pattern"^^xsd:string ; 26 | dc:contributor "Andrew Eells"^^xsd:string, 27 | "Brandon Dave"^^xsd:string, 28 | "Dr. Cogan Shimizu"^^xsd:string, 29 | "Dr. Pascal Hitzler"^^xsd:string ; 30 | dc:creator "Andrew Eells"^^xsd:string, 31 | "Brandon Dave"^^xsd:string, 32 | "Dr. Cogan Shimizu"^^xsd:string, 33 | "Dr. Pascal Hitzler"^^xsd:string . 34 | 35 | kastle:belongsCountry a rdf:Property ; 36 | rdfs:domain kastle:State ; 37 | rdfs:range kastle:Country . 38 | 39 | kastle:belongsTo a rdf:Property ; 40 | rdfs:domain kastle:State ; 41 | rdfs:range kastle:Country . 42 | 43 | kastle:capital a rdf:Property ; 44 | rdfs:domain kastle:State ; 45 | rdfs:range rdfs:Literal, 46 | kastle:City . 47 | 48 | kastle:cityName a rdf:Property ; 49 | rdfs:domain kastle:City ; 50 | rdfs:range rdfs:Literal . 51 | 52 | kastle:containsState a rdf:Property ; 53 | rdfs:domain kastle:Country ; 54 | rdfs:range kastle:State . 55 | 56 | kastle:hasArea a rdf:Property ; 57 | rdfs:domain kastle:State ; 58 | rdfs:range kastle:Integer . 59 | 60 | kastle:hasCapital a rdf:Property ; 61 | rdfs:domain kastle:State ; 62 | rdfs:range xsd:string, 63 | kastle:City . 64 | 65 | kastle:hasName a rdf:Property ; 66 | rdfs:domain kastle:State ; 67 | rdfs:range xsd:string . 68 | 69 | kastle:hasPopulation a rdf:Property ; 70 | rdfs:domain kastle:State ; 71 | rdfs:range rdfs:Literal, 72 | xsd:int, 73 | kastle:Integer . 74 | 75 | kastle:hasState a rdf:Property ; 76 | rdfs:domain kastle:Country, 77 | kastle:Entity ; 78 | rdfs:range kastle:State . 79 | 80 | kastle:hasStateCapital a rdf:Property ; 81 | rdfs:domain kastle:State ; 82 | rdfs:range xsd:string . 83 | 84 | kastle:isLocatedIn a rdf:Property ; 85 | rdfs:domain kastle:State ; 86 | rdfs:range kastle:State . 87 | 88 | kastle:isPartOf a rdf:Property ; 89 | rdfs:domain kastle:State ; 90 | rdfs:range kastle:Country . 91 | 92 | kastle:isPartOfCountry a rdf:Property ; 93 | rdfs:domain kastle:State ; 94 | rdfs:range kastle:Country . 95 | 96 | kastle:locatedIn a rdf:Property ; 97 | rdfs:domain kastle:State ; 98 | rdfs:range kastle:Country . 99 | 100 | kastle:locatedInCountry a rdf:Property ; 101 | rdfs:domain kastle:State ; 102 | rdfs:range kastle:Country . 103 | 104 | kastle:name a rdf:Property ; 105 | rdfs:domain kastle:State ; 106 | rdfs:range rdfs:Literal, 107 | xsd:string . 108 | 109 | kastle:partOf a rdf:Property ; 110 | rdfs:domain kastle:State ; 111 | rdfs:range kastle:Country . 112 | 113 | kastle:population a rdf:Property ; 114 | rdfs:domain kastle:State ; 115 | rdfs:range rdfs:Literal, 116 | kastle:Integer . 117 | 118 | kastle:stateName a rdf:Property ; 119 | rdfs:domain kastle:State ; 120 | rdfs:range rdfs:Literal, 121 | xsd:string . 122 | 123 | -------------------------------------------------------------------------------- /src/main/resources/modls/csmodl/patterns/Thing.ttl: -------------------------------------------------------------------------------- 1 | @prefix dc: . 2 | @prefix kastle: . 3 | @prefix opla-core: . 4 | @prefix owl: . 5 | @prefix rdf: . 6 | @prefix rdfs: . 7 | @prefix xsd: . 8 | 9 | kastle:AbstractThing a rdfs:Class . 10 | 11 | kastle:ConceptualObject a rdfs:Class . 12 | 13 | kastle:Double a rdfs:Class . 14 | 15 | kastle:Event a rdfs:Class . 16 | 17 | kastle:Langstring a rdfs:Class . 18 | 19 | kastle:PhysicalObject a rdfs:Class . 20 | 21 | kastle:PhysicalThing a rdfs:Class . 22 | 23 | kastle:Property a rdfs:Class . 24 | 25 | kastle:Thing a rdfs:Class . 26 | 27 | a owl:Ontology ; 28 | opla-core:hasPatternName "Thing Pattern"^^xsd:string ; 29 | dc:contributor "Andrew Eells"^^xsd:string, 30 | "Brandon Dave"^^xsd:string, 31 | "Dr. Cogan Shimizu"^^xsd:string, 32 | "Dr. Pascal Hitzler"^^xsd:string ; 33 | dc:creator "Andrew Eells"^^xsd:string, 34 | "Brandon Dave"^^xsd:string, 35 | "Dr. Cogan Shimizu"^^xsd:string, 36 | "Dr. Pascal Hitzler"^^xsd:string . 37 | 38 | kastle:description a rdf:Property ; 39 | rdfs:domain kastle:Thing ; 40 | rdfs:range rdfs:Literal . 41 | 42 | kastle:existsIn a rdf:Property ; 43 | rdfs:domain kastle:Thing ; 44 | rdfs:range kastle:Thing . 45 | 46 | kastle:hasAbstract a rdf:Property ; 47 | rdfs:domain kastle:ConceptualObject ; 48 | rdfs:range xsd:string . 49 | 50 | kastle:hasColor a rdf:Property ; 51 | rdfs:domain kastle:PhysicalObject, 52 | kastle:PhysicalThing, 53 | kastle:Thing ; 54 | rdfs:range xsd:string, 55 | kastle:Langstring . 56 | 57 | kastle:hasDescription a rdf:Property ; 58 | rdfs:domain kastle:AbstractThing ; 59 | rdfs:range xsd:string . 60 | 61 | kastle:hasName a rdf:Property ; 62 | rdfs:domain kastle:AbstractThing ; 63 | rdfs:range xsd:string . 64 | 65 | kastle:hasPart a rdf:Property ; 66 | rdfs:domain kastle:Thing ; 67 | rdfs:range kastle:Thing . 68 | 69 | kastle:hasProperty a rdf:Property ; 70 | rdfs:domain kastle:Thing ; 71 | rdfs:range kastle:Property . 72 | 73 | kastle:hasShape a rdf:Property ; 74 | rdfs:domain kastle:Thing ; 75 | rdfs:range xsd:string, 76 | kastle:Langstring . 77 | 78 | kastle:hasSize a rdf:Property ; 79 | rdfs:domain kastle:PhysicalObject, 80 | kastle:PhysicalThing, 81 | kastle:Thing ; 82 | rdfs:range xsd:decimal, 83 | xsd:string, 84 | kastle:Double . 85 | 86 | kastle:hasSymbol a rdf:Property ; 87 | rdfs:domain kastle:ConceptualObject ; 88 | rdfs:range xsd:string . 89 | 90 | kastle:hasTexture a rdf:Property ; 91 | rdfs:domain kastle:Thing ; 92 | rdfs:range kastle:Langstring . 93 | 94 | kastle:involves a rdf:Property ; 95 | rdfs:domain kastle:Thing ; 96 | rdfs:range kastle:Event . 97 | 98 | kastle:isComposedOf a rdf:Property ; 99 | rdfs:domain kastle:Thing ; 100 | rdfs:range kastle:Thing . 101 | 102 | kastle:isMadeOf a rdf:Property ; 103 | rdfs:domain kastle:Thing ; 104 | rdfs:range kastle:Thing . 105 | 106 | kastle:isPartOf a rdf:Property ; 107 | rdfs:domain kastle:Thing ; 108 | rdfs:range kastle:Thing . 109 | 110 | kastle:isUsedFor a rdf:Property ; 111 | rdfs:domain kastle:Thing ; 112 | rdfs:range kastle:Thing . 113 | 114 | kastle:name a rdf:Property ; 115 | rdfs:domain kastle:Thing ; 116 | rdfs:range rdfs:Literal . 117 | 118 | -------------------------------------------------------------------------------- /src/main/resources/modls/csmodl/patterns/Week.ttl: -------------------------------------------------------------------------------- 1 | @prefix dc: . 2 | @prefix kastle: . 3 | @prefix opla-core: . 4 | @prefix owl: . 5 | @prefix rdf: . 6 | @prefix rdfs: . 7 | @prefix xsd: . 8 | 9 | kastle:Class a rdfs:Class . 10 | 11 | kastle:Day a rdfs:Class ; 12 | rdfs:subClassOf kastle:Resource, 13 | kastle:Temporalunit, 14 | kastle:Timeperiod, 15 | kastle:Week . 16 | 17 | kastle:Hour a rdfs:Class ; 18 | rdfs:subClassOf kastle:Resource . 19 | 20 | kastle:Integer a rdfs:Class . 21 | 22 | kastle:Resource a rdfs:Class . 23 | 24 | kastle:Week a rdfs:Class ; 25 | rdfs:subClassOf kastle:Resource, 26 | kastle:Temporalunit, 27 | kastle:Timeperiod . 28 | 29 | kastle:Year a rdfs:Class . 30 | 31 | a owl:Ontology ; 32 | opla-core:hasPatternName "Week Pattern"^^xsd:string ; 33 | dc:contributor "Andrew Eells"^^xsd:string, 34 | "Brandon Dave"^^xsd:string, 35 | "Dr. Cogan Shimizu"^^xsd:string, 36 | "Dr. Pascal Hitzler"^^xsd:string ; 37 | dc:creator "Andrew Eells"^^xsd:string, 38 | "Brandon Dave"^^xsd:string, 39 | "Dr. Cogan Shimizu"^^xsd:string, 40 | "Dr. Pascal Hitzler"^^xsd:string . 41 | 42 | kastle:belongsIn a rdf:Property ; 43 | rdfs:domain kastle:Week ; 44 | rdfs:range kastle:Class . 45 | 46 | kastle:consistsOf a rdf:Property ; 47 | rdfs:domain kastle:Week ; 48 | rdfs:range kastle:Day . 49 | 50 | kastle:contains a rdf:Property ; 51 | rdfs:domain kastle:Week ; 52 | rdfs:range kastle:Day . 53 | 54 | kastle:dayName a rdf:Property ; 55 | rdfs:domain kastle:Day ; 56 | rdfs:range xsd:string . 57 | 58 | kastle:dayNumber a rdf:Property ; 59 | rdfs:domain kastle:Day ; 60 | rdfs:range kastle:Integer . 61 | 62 | kastle:dayOfWeek a rdf:Property ; 63 | rdfs:domain kastle:Week ; 64 | rdfs:range rdfs:Literal, 65 | kastle:Resource . 66 | 67 | kastle:hasDay a rdf:Property ; 68 | rdfs:domain kastle:Week ; 69 | rdfs:range kastle:Day . 70 | 71 | kastle:hasDays a rdf:Property ; 72 | rdfs:domain kastle:Week ; 73 | rdfs:range kastle:Day . 74 | 75 | kastle:hasEndDay a rdf:Property ; 76 | rdfs:domain kastle:Week ; 77 | rdfs:range rdfs:Literal, 78 | xsd:date . 79 | 80 | kastle:hasHours a rdf:Property ; 81 | rdfs:domain kastle:Week ; 82 | rdfs:range kastle:Hour . 83 | 84 | kastle:hasName a rdf:Property ; 85 | rdfs:domain kastle:Day ; 86 | rdfs:range xsd:string . 87 | 88 | kastle:hasNumber a rdf:Property ; 89 | rdfs:domain kastle:Day, 90 | kastle:Week ; 91 | rdfs:range xsd:int, 92 | kastle:Integer . 93 | 94 | kastle:hasSequence a rdf:Property ; 95 | rdfs:domain kastle:Day ; 96 | rdfs:range kastle:Integer . 97 | 98 | kastle:hasStartDay a rdf:Property ; 99 | rdfs:domain kastle:Week ; 100 | rdfs:range rdfs:Literal, 101 | xsd:date . 102 | 103 | kastle:hasWeek a rdf:Property ; 104 | rdfs:domain kastle:Year ; 105 | rdfs:range kastle:Week . 106 | 107 | kastle:isDayOf a rdf:Property ; 108 | rdfs:domain kastle:Day ; 109 | rdfs:range kastle:Week . 110 | 111 | kastle:isDayOfTheWeek a rdf:Property ; 112 | rdfs:domain kastle:Day ; 113 | rdfs:range xsd:string . 114 | 115 | kastle:numberOfWeek a rdf:Property ; 116 | rdfs:domain kastle:Week ; 117 | rdfs:range kastle:Integer . 118 | 119 | -------------------------------------------------------------------------------- /src/main/resources/modls/csmodl/patterns/Year.ttl: -------------------------------------------------------------------------------- 1 | @prefix dc: . 2 | @prefix kastle: . 3 | @prefix opla-core: . 4 | @prefix owl: . 5 | @prefix rdf: . 6 | @prefix rdfs: . 7 | @prefix xsd: . 8 | 9 | kastle:Date a rdfs:Class . 10 | 11 | kastle:Day a rdfs:Class ; 12 | rdfs:subClassOf kastle:Month . 13 | 14 | kastle:Document a rdfs:Class . 15 | 16 | kastle:Entity a rdfs:Class . 17 | 18 | kastle:Event a rdfs:Class ; 19 | rdfs:subClassOf kastle:Day . 20 | 21 | kastle:Gday a rdfs:Class . 22 | 23 | kastle:Integer a rdfs:Class . 24 | 25 | kastle:Month a rdfs:Class ; 26 | rdfs:subClassOf kastle:Year . 27 | 28 | kastle:Resource a rdfs:Class . 29 | 30 | kastle:Season a rdfs:Class ; 31 | rdfs:subClassOf kastle:Year . 32 | 33 | kastle:Something a rdfs:Class . 34 | 35 | kastle:Year a rdfs:Class ; 36 | rdfs:subClassOf kastle:Integer, 37 | kastle:Timeperiod . 38 | 39 | a owl:Ontology ; 40 | opla-core:hasPatternName "Year Pattern"^^xsd:string ; 41 | dc:contributor "Andrew Eells"^^xsd:string, 42 | "Brandon Dave"^^xsd:string, 43 | "Dr. Cogan Shimizu"^^xsd:string, 44 | "Dr. Pascal Hitzler"^^xsd:string ; 45 | dc:creator "Andrew Eells"^^xsd:string, 46 | "Brandon Dave"^^xsd:string, 47 | "Dr. Cogan Shimizu"^^xsd:string, 48 | "Dr. Pascal Hitzler"^^xsd:string . 49 | 50 | kastle:beginningOfYear a rdf:Property ; 51 | rdfs:domain kastle:Year ; 52 | rdfs:range xsd:date . 53 | 54 | kastle:endOfYear a rdf:Property ; 55 | rdfs:domain kastle:Year ; 56 | rdfs:range xsd:date . 57 | 58 | kastle:followedBy a rdf:Property ; 59 | rdfs:domain kastle:Year ; 60 | rdfs:range kastle:Year . 61 | 62 | kastle:hasDay a rdf:Property ; 63 | rdfs:domain kastle:Month, 64 | kastle:Year ; 65 | rdfs:range kastle:Day, 66 | kastle:Gday, 67 | kastle:Integer . 68 | 69 | kastle:hasEvent a rdf:Property ; 70 | rdfs:domain kastle:Day ; 71 | rdfs:range kastle:Event . 72 | 73 | kastle:hasMonth a rdf:Property ; 74 | rdfs:domain kastle:Year ; 75 | rdfs:range kastle:Integer, 76 | kastle:Month . 77 | 78 | kastle:hasSeason a rdf:Property ; 79 | rdfs:domain kastle:Year ; 80 | rdfs:range kastle:Season . 81 | 82 | kastle:hasYear a rdf:Property ; 83 | rdfs:domain kastle:Date, 84 | kastle:Entity, 85 | kastle:Resource, 86 | kastle:Something, 87 | kastle:Year ; 88 | rdfs:range kastle:Integer, 89 | kastle:Year . 90 | 91 | kastle:inYear a rdf:Property ; 92 | rdfs:domain kastle:Event ; 93 | rdfs:range kastle:Year . 94 | 95 | kastle:isLeap a rdf:Property ; 96 | rdfs:domain kastle:Year ; 97 | rdfs:range xsd:boolean . 98 | 99 | kastle:isLeapYear a rdf:Property ; 100 | rdfs:domain kastle:Year ; 101 | rdfs:range xsd:boolean . 102 | 103 | kastle:isYearOf a rdf:Property ; 104 | rdfs:domain kastle:Year ; 105 | rdfs:range xsd:date . 106 | 107 | kastle:number a rdf:Property ; 108 | rdfs:domain kastle:Year ; 109 | rdfs:range kastle:Integer . 110 | 111 | kastle:numberOfDay a rdf:Property ; 112 | rdfs:domain kastle:Day ; 113 | rdfs:range kastle:Integer . 114 | 115 | kastle:numberOfMonth a rdf:Property ; 116 | rdfs:domain kastle:Month ; 117 | rdfs:range kastle:Integer . 118 | 119 | kastle:numberOfYear a rdf:Property ; 120 | rdfs:domain kastle:Year ; 121 | rdfs:range kastle:Integer . 122 | 123 | kastle:precededBy a rdf:Property ; 124 | rdfs:domain kastle:Year ; 125 | rdfs:range kastle:Year . 126 | 127 | kastle:year a rdf:Property ; 128 | rdfs:domain kastle:Document, 129 | kastle:Entity ; 130 | rdfs:range rdfs:Literal, 131 | kastle:Year . 132 | 133 | kastle:yearID a rdf:Property ; 134 | rdfs:domain kastle:Year ; 135 | rdfs:range xsd:string . 136 | 137 | kastle:yearNumber a rdf:Property ; 138 | rdfs:domain kastle:Year ; 139 | rdfs:range kastle:Integer . 140 | 141 | -------------------------------------------------------------------------------- /src/main/resources/modls/csmodl/patterns/chair.ttl: -------------------------------------------------------------------------------- 1 | @prefix dc: . 2 | @prefix opla-core: . 3 | @prefix opla-cp: . 4 | @prefix opla-sd: . 5 | @prefix owl: . 6 | @prefix rdfs: . 7 | @prefix xsd: . 8 | 9 | a rdfs:Class . 10 | 11 | a rdfs:Class . 12 | 13 | a rdfs:Class . 14 | 15 | a rdfs:Class . 16 | 17 | rdfs:range . 18 | 19 | rdfs:range . 20 | 21 | rdfs:range . 22 | 23 | rdfs:range . 24 | 25 | rdfs:range . 26 | 27 | rdfs:range . 28 | 29 | rdfs:range . 30 | 31 | rdfs:range . 32 | 33 | rdfs:range . 34 | 35 | rdfs:range , 36 | . 37 | 38 | a owl:Ontology ; 39 | opla-core:hasPatternName "chair Pattern"^^xsd:string ; 40 | opla-cp:addressesScenario ""^^xsd:string ; 41 | opla-cp:hasCompentencyQuestion ""^^xsd:string ; 42 | opla-sd:hasConnections ""^^xsd:string ; 43 | opla-sd:hasSchemaDiagramFileName "chair-pattern.pdf"^^xsd:string ; 44 | dc:contributor ""^^xsd:string, 45 | "Andrew Eells"^^xsd:string, 46 | "Brandon Dave"^^xsd:string, 47 | "Dr. Cogan Shimizu"^^xsd:string, 48 | "Dr. Pascal Hitzler"^^xsd:string ; 49 | dc:creator ""^^xsd:string, 50 | "Andrew Eells"^^xsd:string, 51 | "Brandon Dave"^^xsd:string, 52 | "Dr. Cogan Shimizu"^^xsd:string, 53 | "Dr. Pascal Hitzler"^^xsd:string . 54 | 55 | -------------------------------------------------------------------------------- /src/main/resources/modls/easy-ai/LICENSE: -------------------------------------------------------------------------------- 1 | MIT License 2 | 3 | Copyright (c) 2024 kastle-lab 4 | 5 | Permission is hereby granted, free of charge, to any person obtaining a copy 6 | of this software and associated documentation files (the "Software"), to deal 7 | in the Software without restriction, including without limitation the rights 8 | to use, copy, modify, merge, publish, distribute, sublicense, and/or sell 9 | copies of the Software, and to permit persons to whom the Software is 10 | furnished to do so, subject to the following conditions: 11 | 12 | The above copyright notice and this permission notice shall be included in all 13 | copies or substantial portions of the Software. 14 | 15 | THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR 16 | IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, 17 | FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE 18 | AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER 19 | LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, 20 | OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE 21 | SOFTWARE. 22 | -------------------------------------------------------------------------------- /src/main/resources/modls/easy-ai/README.md: -------------------------------------------------------------------------------- 1 | # EASY-AI 2 | EASY-AI: sEmantic And compoSable glphYs for representing AI systems. 3 | 4 | This repository hosts supporting documentation for the EASY-AI framework. 5 | 6 | ## Layout 7 | * `schema/` -- contains the `.ttl` for EASY-AI, both as a whole and its constituent patterns. 8 | * `schema-diagram/` -- contains the `.graphml` files along with an exported `.pdf` representation for ease of use. 9 | -------------------------------------------------------------------------------- /src/main/resources/modls/modl/diagrams/agentrole.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/modls/modl/diagrams/agentrole.png -------------------------------------------------------------------------------- /src/main/resources/modls/modl/diagrams/aggregation.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/modls/modl/diagrams/aggregation.png -------------------------------------------------------------------------------- /src/main/resources/modls/modl/diagrams/event.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/modls/modl/diagrams/event.png -------------------------------------------------------------------------------- /src/main/resources/modls/modl/diagrams/explicittyping.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/modls/modl/diagrams/explicittyping.png -------------------------------------------------------------------------------- /src/main/resources/modls/modl/diagrams/identifier.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/modls/modl/diagrams/identifier.png -------------------------------------------------------------------------------- /src/main/resources/modls/modl/diagrams/name.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/modls/modl/diagrams/name.png -------------------------------------------------------------------------------- /src/main/resources/modls/modl/diagrams/participantrole.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/modls/modl/diagrams/participantrole.png -------------------------------------------------------------------------------- /src/main/resources/modls/modl/diagrams/provenance.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/modls/modl/diagrams/provenance.png -------------------------------------------------------------------------------- /src/main/resources/modls/modl/diagrams/quantities.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/modls/modl/diagrams/quantities.png -------------------------------------------------------------------------------- /src/main/resources/modls/modl/diagrams/reification.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/modls/modl/diagrams/reification.png -------------------------------------------------------------------------------- /src/main/resources/modls/modl/diagrams/sequence.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/modls/modl/diagrams/sequence.png -------------------------------------------------------------------------------- /src/main/resources/modls/modl/diagrams/spatialextent.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/modls/modl/diagrams/spatialextent.png -------------------------------------------------------------------------------- /src/main/resources/modls/modl/diagrams/spatiotemporalextent.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/modls/modl/diagrams/spatiotemporalextent.png -------------------------------------------------------------------------------- /src/main/resources/modls/modl/diagrams/stub.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/modls/modl/diagrams/stub.png -------------------------------------------------------------------------------- /src/main/resources/modls/modl/diagrams/temporalextent.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/modls/modl/diagrams/temporalextent.png -------------------------------------------------------------------------------- /src/main/resources/modls/modl/diagrams/trajectory.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/modls/modl/diagrams/trajectory.png -------------------------------------------------------------------------------- /src/main/resources/modls/modl/diagrams/tree.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/modls/modl/diagrams/tree.png -------------------------------------------------------------------------------- /src/main/resources/modls/modl/patterns/name.owl: -------------------------------------------------------------------------------- 1 | 2 | 10 | 11 | 12 | 13 | 14 | 21 | 22 | 23 | 24 | 25 | 26 | 27 | 28 | 29 | 30 | 31 | 32 | 33 | 34 | 35 | 36 | 37 | 38 | 39 | 40 | 41 | 42 | 43 | 50 | 51 | 52 | 53 | 54 | 55 | 56 | 57 | 58 | 59 | 60 | 61 | 240.0244734273219 62 | 19.927868644685816 63 | This is an entity positioning annotation generated by CoModIDE (https://comodide.com/). Removing this annotation will break rendering the CoModIDE schema diagram view. 64 | 65 | 66 | 67 | 68 | 69 | 70 | 77 | 78 | 79 | 80 | 81 | 82 | 83 | 84 | 85 | 86 | 20.049545235548663 87 | 20.205798257385368 88 | This is an entity positioning annotation generated by CoModIDE (https://comodide.com/). Removing this annotation will break rendering the CoModIDE schema diagram view. 89 | 90 | 91 | 92 | 93 | 94 | 95 | 96 | 97 | 98 | -------------------------------------------------------------------------------- /src/main/resources/plugin.xml: -------------------------------------------------------------------------------- 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 14 | 15 | 16 | 18 | 22 | 24 | 28 | 30 | 34 | 36 | 40 | 42 | 46 | 52 | 53 | -------------------------------------------------------------------------------- /src/main/resources/resources/basic-style.xml: -------------------------------------------------------------------------------- 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | 20 | 21 | 22 | 23 | 24 | 25 | 26 | 27 | 28 | 29 | 30 | 31 | 32 | 33 | 34 | 35 | 36 | 37 | 38 | 39 | 40 | 41 | 42 | 43 | 44 | 45 | 46 | 47 | 48 | 49 | 50 | 51 | 52 | 53 | 54 | 55 | 56 | 57 | 58 | 59 | 60 | 61 | 62 | 63 | 64 | 65 | 66 | 67 | 68 | 69 | 70 | 71 | 72 | 73 | 74 | 75 | 76 | 77 | 78 | -------------------------------------------------------------------------------- /src/main/resources/resources/comodide-style.xml: -------------------------------------------------------------------------------- 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | 20 | 21 | 22 | 23 | 24 | 25 | 26 | 27 | 28 | 29 | 30 | 31 | 32 | 33 | 34 | 35 | 36 | 37 | 38 | 39 | 40 | 41 | 42 | 43 | 44 | 45 | 46 | 47 | 48 | 49 | 50 | 51 | 52 | 53 | 54 | -------------------------------------------------------------------------------- /src/main/resources/resources/default-style.xml: -------------------------------------------------------------------------------- 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | 20 | 21 | 22 | 23 | 24 | 25 | 26 | 27 | 28 | 29 | 30 | 31 | 32 | 33 | 34 | 35 | 36 | 37 | 38 | 39 | 40 | 41 | 42 | 43 | 44 | 45 | 46 | -------------------------------------------------------------------------------- /src/main/resources/resources/editor_de.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/resources/editor_de.properties -------------------------------------------------------------------------------- /src/main/resources/resources/editor_es.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/resources/editor_es.properties -------------------------------------------------------------------------------- /src/main/resources/resources/editor_fr.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/resources/editor_fr.properties -------------------------------------------------------------------------------- /src/main/resources/resources/editor_it.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/resources/editor_it.properties -------------------------------------------------------------------------------- /src/main/resources/resources/editor_ja.properties: -------------------------------------------------------------------------------- 1 | file=\u30d5\u30a1\u30a4\u30eb 2 | new=\u65b0\u898f\u4f5c\u6210 3 | openFile=\u30d5\u30a1\u30a4\u30eb\u3092\u958b\u304f 4 | save=\u4fdd\u5b58 5 | saveAs=\u3068\u3057\u3066\u4fdd\u5b58\u3059\u308b 6 | print=\u5370\u5237 7 | edit=\u7de8\u96c6 8 | undo=\u5143\u306b\u623b\u3059 9 | redo=\u3084\u308a\u76f4\u3057 10 | cut=\u5207\u308a\u53d6\u308a 11 | copy=\u30b3\u30d4\u30fc 12 | paste=\u8cbc\u308a\u4ed8\u3051 13 | delete=\u524a\u9664 14 | selectAll=\u3059\u3079\u3066\u9078\u629e 15 | pageLayout=\u30da\u30fc\u30b8\u306e\u30ec\u30a4\u30a2\u30a6\u30c8 16 | grid=\u30b0\u30ea\u30c3\u30c9 17 | zoom=\u62e1\u5927 18 | custom=\u30ab\u30b9\u30bf\u30e0 19 | zoomIn=\u30ba\u30fc\u30e0\u30a4\u30f3 20 | zoomOut=\u30ba\u30fc\u30e0\u30a2\u30a6\u30c8 21 | width=\u6a2a\u5e45 22 | actualSize=\u5b9f\u5bf8 23 | format=\u5f62\u5f0f 24 | left=\u5de6\u7aef 25 | center=\u4e2d\u592e 26 | right=\u53f3\u7aef 27 | top=\u4e0a\u4ed8\u304d 28 | middle=\u4e2d\u592e 29 | bottom=\u4e0b\u4ed8\u304d 30 | label=\u30e9\u30d9\u30eb 31 | position=\u4f4d\u7f6e 32 | shadow=\u5f71\u4ed8\u304d 33 | opacity=\u4e0d\u900f\u660e\u5ea6 34 | hide=\u975e\u8868\u793a 35 | line=\u7dda 36 | straight=\u76f4\u7dda 37 | horizontal=\u6c34\u5e73 38 | vertical=\u5782\u76f4 39 | entityRelation=ER 40 | arrow=\u77e2\u5370 41 | plain=\u30d7\u30ec\u30fc\u30f3 42 | rounded=\u89d2\u4e38 43 | dashed=\u7834\u7dda 44 | linewidth=\u7dda\u5e45 45 | linestart=\u884c\u306e\u958b\u59cb 46 | open=\u958b\u304f 47 | classic=\u30af\u30e9\u30b7\u30c3\u30af 48 | block=\u30d6\u30ed\u30c3\u30af 49 | diamond=\u30c0\u30a4\u30e4\u30e2\u30f3\u30c9 50 | oval=\u6955\u5186 51 | none=\u306a\u3057 52 | size=\u30b5\u30a4\u30ba 53 | lineend=\u884c\u306e\u7d42\u4e86 54 | spacing=\u30b9\u30da\u30fc\u30b9 55 | perimeter=\u5883\u754c 56 | global=\u30b0\u30ed\u30fc\u30d0\u30eb 57 | direction=\u65b9\u5411 58 | north=\u5317 59 | east=\u6771 60 | south=\u5357 61 | west=\u897f 62 | rotation=\u56de\u8ee2 63 | style=\u30b9\u30bf\u30a4\u30eb 64 | shape=\u56f3\u5f62 65 | group=\u30b0\u30eb\u30fc\u30d7\u5316 66 | ungroup=\u30b0\u30eb\u30fc\u30d7\u89e3\u9664 67 | removeFromGroup=\u30b0\u30eb\u30fc\u30d7\u304b\u3089\u524a\u9664 68 | updateGroupBounds=\u30b0\u30eb\u30fc\u30d7\u7bc4\u56f2\u306e\u66f4\u65b0 69 | toBack=\u5f8c\u308d\u3078 70 | toFront=\u524d\u3078 71 | align=\u6574\u5217 72 | autosize=\u81ea\u52d5\u30b5\u30a4\u30ba 73 | outline=\u30a2\u30a6\u30c8\u30e9\u30a4\u30f3 74 | background=\u80cc\u666f 75 | line=\u7dda 76 | help=\u30d8\u30eb\u30d7 77 | selectVertices=\u9802\u70b9\u3092\u9078\u629e 78 | selectEdges=\u30a8\u30c3\u30b8\u3092\u9078\u629e 79 | file=\u30d5\u30a1\u30a4\u30eb 80 | error=\u30a8\u30e9\u30fc -------------------------------------------------------------------------------- /src/main/resources/resources/editor_nl.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/resources/editor_nl.properties -------------------------------------------------------------------------------- /src/main/resources/resources/editor_pt.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/comodide/CoModIDE/e3bcb579f7e86c192dcb3f4d3dff53d6273bfa00/src/main/resources/resources/editor_pt.properties -------------------------------------------------------------------------------- /src/main/resources/resources/editor_zh-CN.properties: -------------------------------------------------------------------------------- 1 | file=\u6587\u4ef6 2 | new=\u65b0\u5efa 3 | openFile=\u6253\u5f00\u6587\u4ef6 4 | save=\u4fdd\u5b58 5 | saveAs=\u53e6\u5b58\u4e3a 6 | print=\u6253\u5370 7 | edit=\u7f16\u8f91 8 | undo=\u53d6\u6d88\u64cd\u4f5c 9 | redo=\u91cd\u505a 10 | cut=\u526a\u5207 11 | copy=\u590d\u5236 12 | paste=\u7c98\u8d34 13 | delete=\u5220\u9664 14 | selectAll=\u5168\u9009 15 | pageLayout=\u9875\u9762\u5e03\u5c40 16 | grid=\u683c\u5b50 17 | zoom=\u7f29\u653e 18 | custom=\u81ea\u5b9a\u4e49 19 | zoomIn=\u653e\u5927 20 | zoomOut=\u7f29\u5c0f 21 | width=\u5bbd 22 | actualSize=\u5b9e\u9645\u5c3a\u5bf8 23 | format=\u683c\u5f0f 24 | left=\u5de6 25 | center=\u4e2d 26 | right=\u53f3 27 | top=\u9876 28 | middle=\u4e2d 29 | bottom=\u5e95 30 | label=\u6807\u7b7e 31 | position=\u4f4d\u7f6e 32 | shadow=\u9634\u5f71 33 | opacity=\u900f\u660e\u5ea6 34 | hide=\u9690\u85cf 35 | line=\u7ebf 36 | straight=\u76f4 37 | horizontal=\u6c34\u5e73 38 | vertical=\u5782\u76f4 39 | entityRelation=\u4f4d\u7f6e\u5173\u7cfb 40 | arrow=\u7bad\u5934 41 | plain=\u5e73 42 | rounded=\u5706\u865a\u7ebf 43 | dashed=\u865a\u7ebf 44 | linewidth=\u7ebf\u5bbd 45 | linestart=\u7ebf\u59cb\u7aef 46 | open=\u6253\u5f00 47 | classic=\u9ad8\u7ea7 48 | block=\u6846 49 | diamond=\u94bb\u77f3\u5f62 50 | oval=\u692d\u5706\u5f62 51 | none=\u65e0 52 | size=\u5927\u5c0f 53 | lineend=\u7ebf\u672b\u7aef 54 | spacing=\u95f4\u8ddd 55 | perimeter=\u5468\u957f 56 | global=\u5168\u7403 57 | direction=\u65b9\u5411 58 | north=\u5317 59 | east=\u4e1c 60 | south=\u5357 61 | west=\u897f 62 | rotation=\u65cb\u8f6c 63 | style=\u98ce\u683c 64 | shape=\u5f62\u72b6 65 | group=\u7ec4\u5408 66 | ungroup=\u53d6\u6d88\u7ec4\u5408 67 | removeFromGroup=Remove from group 68 | updateGroupBounds=Update group bounds 69 | toBack=\u8f6c\u5230\u540e\u9762 70 | toFront=\u8f6c\u5230\u524d\u9762 71 | align=\u5bf9\u9f50 72 | autosize=\u81ea\u52a8\u8c03\u6574\u5927\u5c0f 73 | outline=\u6982\u51b5 74 | background=\u80cc\u666f 75 | line=\u7ebf 76 | help=\u5e2e\u52a9 77 | selectVertices=\u9009\u62e9\u9876\u70b9 78 | selectEdges=\u9009\u62e9\u8fb9 79 | file=\u6587\u4ef6 80 | error=\u9519\u8bef -------------------------------------------------------------------------------- /src/main/resources/viewconfig-CoModIDETab.xml: -------------------------------------------------------------------------------- 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 14 | 15 | 16 | 17 | 18 | 19 | 20 | 21 | 22 | 23 | 24 | 25 | 26 | 27 | 28 | 30 | 31 | 32 | 34 | 35 | 36 | 37 | -------------------------------------------------------------------------------- /update.properties: -------------------------------------------------------------------------------- 1 | name=CoModIDE 2 | id=comodide 3 | version=1.1.1 4 | download=https://github.com/comodide/CoModIDE/releases/download/v1.1.1/CoModIDE-1.1.1.jar 5 | readme=https://comodide.com/AutoUpdaterReadme.html 6 | license=https://creativecommons.org/licenses/by/4.0/ 7 | author=Cogan Shimizu & Karl Hammar 8 | --------------------------------------------------------------------------------