Comments on a small ontology (Newbie stuff).

I’ve been learning to use powerloom on the side and learning to build ontologies at the same time. I though I’d post what I’ve got so far modeling a generic chain of command for the military domain. I’ve got a number of ideas for rules such as:

 

All units are lead by someone.

All warfighters that belongs to a unit report to the unit’s leader.

The leader of a unit report to the leader of the unit one echelon up.

 

I want to further expand on the structure and services of components of units.

 

However, I’m not sure that I’ve got the best possible design for me to build upon.

 

If anyone on this list is looking for a reason to procrastinate, I would appreciate if you can comment on this file. I still feel like I didn’t get the light bulb moment yet.

 

Christian

 

;;; -*- Mode: Lisp; Package: STELLA; Syntax: COMMON-LISP; Base: 10 -*-

 

(CL:IN-PACKAGE "STELLA")

 

(DEFMODULE "/PL-KERNEL-KB/PL-USER/WAR")

 

(IN-MODULE "/PL-KERNEL-KB/PL-USER/WAR")

 

(IN-DIALECT :KIF)

 

;;; Top level concepts

(DEFCONCEPT ACTOR)

(DEFCONCEPT STATE)

(DEFCONCEPT LEADER)

 

;;; Persons and individual actors ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

;;; Warfighter

(DEFCONCEPT PERSON (ACTOR))

(DEFCONCEPT WARFIGHTER (PERSON))

(DEFCONCEPT OFFICER (WARFIGHTER))

(DEFCONCEPT COMMANDER (?OFF OFFICER) :<=> (AND (OFFICER ?OFF) (LEADER ?OFF)))

(DEFCONCEPT STAFF-OFFICER (?OFF OFFICER) :<=> (NOT (COMMANDER ?OFF)))

 

(DEFCONCEPT ENLISTED (?W WARFIGHTER) :<=> (AND (WARFIGHTER ?W) (NOT (OFFICER ?W))))

(DEFCONCEPT NCO (?W ENLISTED) :<=> (AND (ENLISTED ?W) (LEADER ?W)))

 

;;; Civilian

(DEFCONCEPT UNLAWFUL-COMBATANT (CIVILIAN))

 

(DEFCONCEPT CIVILIAN (?P PERSON) :<=> (AND (PERSON ?P) (NOT (WARFIGHTER ?P))))

 

 

;;; Services ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

(DEFCONCEPT ARMED-SERVICE)

(DEFCONCEPT ARMY (ARMED-SERVICE))

(DEFCONCEPT NAVY (ARMED-SERVICE))

(DEFCONCEPT AIRFORCE (ARMED-SERVICE))

(DEFFUNCTION SERVICE ((?P WARFIGHTER)) :-> (?S ARMED-SERVICE))

 

;;; Command chains ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

(DEFCONCEPT UNIT (ACTOR))

 

;;; Command

(DEFRELATION COMMANDS ((?p PERSON) (?x ACTOR)))

(DEFRELATION REPORTS-TO ((?p ACTOR) (?x PERSON)))

(ASSERT (INVERSE REPORTS-TO COMMANDS))

 

;;; Rule 1 - All unit that are subordinates to are lead by the unit's commanders.

 

;;; Unit relationship

;;;(DEFRELATION ASSIGNED-TO (()()))

 

;;; Echelon RELATIONSHIP

(DEFRELATION SUBORDINATE ((?U UNIT)(?H UNIT)))

(DEFRELATION HIGHER-ECHELON ((?U UNIT)(?H UNIT)))

(ASSERT (TRANSITIVE SUBORDINATE))

(ASSERT (TRANSITIVE HIGHER-ECHELON))

(ASSERT (INVERSE SUBORDINATE HIGHER-ECHELON))

 

;;; Echelons

(assert (subset-of warfigher unit))

(DEFCONCEPT FIRE-TEAM (UNIT))

(DEFCONCEPT SECTION   (UNIT))

(DEFCONCEPT PLATOON   (UNIT))

(DEFCONCEPT COMPANY   (UNIT))

(DEFCONCEPT BATTALION (UNIT))

(DEFCONCEPT REGIMENT  (UNIT))

(DEFCONCEPT BRIGADE   (UNIT))

(DEFCONCEPT DIVISION  (UNIT))

(DEFCONCEPT CORP      (UNIT))

(DEFCONCEPT ARMY-UNIT (UNIT))

 

(ASSERT (HIGHER-ECHELON SECTION FIRE-TEAM))

(ASSERT (HIGHER-ECHELON PLATOON SECTION))

(ASSERT (HIGHER-ECHELON COMPANY PLATOON))

(ASSERT (HIGHER-ECHELON BATTALION COMPANY))

(ASSERT (HIGHER-ECHELON REGIMENT BATTALION))

(ASSERT (HIGHER-ECHELON BRIGADE BATTALION))

(ASSERT (HIGHER-ECHELON DIVISION BRIGADE))

(ASSERT (HIGHER-ECHELON DIVISION REGIMENT))

(ASSERT (HIGHER-ECHELON CORP DIVISION))

(ASSERT (HIGHER-ECHELON ARMY-UNIT CORP))