MKE results for camera.owl

Here are some MKE results for camera.owl.
There are a few "errors" because the TAP processing
was designed for RDFS, not OWL.  
For example, MKE does not translate 
    owl:oneOf
    owl:intersectionOf
    owl:Restriction
    owl:onProperty
The complete results, including all consistency checks,
are available in camera.out, which I renamed to 
http://rhm.cdepot.net/knowledge/applications/SemanticWeb/OWL/camera.out.save


input

# KEHOME/knowledge/applications/SemanticWeb/OWL/camera.mkr
# Apr/20/2003

do read tap from http://www.xfront.com/camera/camera.owl done;

do print od "<!--  Class  -->" done;
Class isall* ?;

do print od "<!--  Class hierarchy  -->" done;
PurchaseableItem isc* ?;
part isc* ?;
Money isc* ?;
Range isc* ?;
Window isc* ?;
Viewer isc* ?;

do print od "<!--  Properties  -->" done;
PurchaseableItem has ?;
Camera has ?;
Body has ?;
Lens has ?;
SLR has ?;
Digital has ?;
Large-Format has ?;
Money has ?;
Range has ?;
Window has ?;
Viewer has ?;

! deletecomment camera.out done;

do print od "<!--  check knit  -->" done;
do check od knit done;

exit;


output

$ export TABRASA=rdf
$ ke camera.mkr

<!--  Class  -->
Class
/  Resource
/  Literal
/  XMLLiteral
/  Property
/  Datatype
/  Statement
/  Bag
/  Seq
/  Alt
/  Container
/  ContainerMembershipProperty
/  List
/  Money
/  Range
/  Window
/  Viewer
/  PurchaseableItem
/  Body
/  BodyWithNonAdjustableShutterSpeed
/  Body
/  Lens
/  Camera
/  SLR
/  Camera
/  Large-Format
/  Digital
<!--  Class hierarchy  -->
PurchaseableItem
/  Body
/  Camera
//    Digital
//    Large-Format
/  Lens
part
/  body
/  lens
/  _n
/  first
/  rest
Money
Range
Window
/  ThroughTheLens
/  WindowOnTopOfCamera
Viewer
<!--  Properties  -->
PurchaseableItem has
    classname = PurchaseableItem\Thing,
    cost = &null,
    ctype = concept,
    firstlevel = false,
    gtype = none,
    htype = concept,
    krtype = mkr,
    mount = "",
    nickname = "",
    primitive = false,
    ptype = none,
    rootname = Thing/PurchaseableItem,
    shortname = PurchaseableItem,
    utype = none,
    xmlname = PurchaseableItem,
    xmlns = []
    ;
Camera has
    body = &null,
    classname = Camera\PurchaseableItem\Thing,
    ctype = concept,
    firstlevel = false,
    gtype = none,
    htype = concept,
    krtype = mkr,
    lens = &null,
    mount = "",
    nickname = "",
    owl:hasValue = ThroughTheLens,
    owl:onProperty = viewFinder,
    primitive = false,
    ptype = none,
    rootname = Thing/PurchaseableItem/Camera,
    shortname = Camera,
    utype = none,
    viewFinder = &null,
    xmlname = Camera,
    xmlns = []
    ;
Body has
    classname = Body\PurchaseableItem\Thing,
    ctype = concept,
    firstlevel = false,
    gtype = none,
    htype = concept,
    krtype = mkr,
    mount = "",
    nickname = "",
    owl:cardinality = 0,
    owl:onProperty = shutter-speed,
    primitive = false,
    ptype = none,
    rootname = Thing/PurchaseableItem/Body,
    shortname = Body,
    shutter-speed = &null,
    utype = none,
    xmlname = Body,
    xmlns = []
    ;
Lens has
    aperture = &null,
    classname = Lens\PurchaseableItem\Thing,
    ctype = concept,
    f-stop = &null,
    firstlevel = false,
    focal-length = &null,
    gtype = none,
    htype = concept,
    krtype = mkr,
    mount = "",
    nickname = "",
    primitive = false,
    ptype = none,
    rootname = Thing/PurchaseableItem/Lens,
    shortname = Lens,
    size = &null,
    utype = none,
    xmlname = Lens,
    xmlns = []
    ;
SLR has
    classname = SLR,
    ctype = concept,
    firstlevel = false,
    gtype = none,
    htype = concept,
    krtype = mkr,
    mount = "",
    nickname = "",
    primitive = false,
    ptype = none,
    rootname = SLR,
    shortname = SLR,
    utype = none,
    xmlname = SLR,
    xmlns = []
    ;
Digital has
    classname = Digital\Camera\PurchaseableItem\Thing,
    ctype = concept,
    firstlevel = false,
    gtype = none,
    htype = concept,
    krtype = mkr,
    mount = "",
    nickname = "",
    primitive = false,
    ptype = none,
    rootname = Thing/PurchaseableItem/Camera/Digital,
    shortname = Digital,
    utype = none,
    xmlname = Digital,
    xmlns = []
    ;
Large-Format has
    classname = Large-Format\Camera\PurchaseableItem\Thing,
    ctype = concept,
    firstlevel = false,
    gtype = none,
    htype = concept,
    krtype = mkr,
    mount = "",
    nickname = "",
    owl:allValuesFrom = BodyWithNonAdjustableShutterSpeed,
    owl:onProperty = body,
    primitive = false,
    ptype = none,
    rootname = Thing/PurchaseableItem/Camera/Large-Format,
    shortname = Large-Format,
    utype = none,
    xmlname = Large-Format,
    xmlns = []
    ;
Money has
    classname = Money\Thing,
    ctype = concept,
    currency = &null,
    firstlevel = false,
    gtype = none,
    htype = concept,
    krtype = mkr,
    mount = "",
    nickname = "",
    primitive = false,
    ptype = none,
    rootname = Thing/Money,
    shortname = Money,
    utype = none,
    xmlname = Money,
    xmlns = []
    ;
Range has
    classname = Range\Thing,
    ctype = concept,
    firstlevel = false,
    gtype = none,
    htype = concept,
    krtype = mkr,
    max = &null,
    min = &null,
    mount = "",
    nickname = "",
    primitive = false,
    ptype = none,
    rootname = Thing/Range,
    shortname = Range,
    units = &null,
    utype = none,
    xmlname = Range,
    xmlns = []
    ;
Window has
    classname = Window\Thing,
    ctype = concept,
    firstlevel = false,
    gtype = none,
    htype = concept,
    krtype = mkr,
    mount = "",
    nickname = "",
    primitive = false,
    ptype = none,
    rootname = Thing/Window,
    shortname = Window,
    utype = none,
    xmlname = [camera:Window,Window],
    xmlns = camera
    ;
Viewer has
    classname = Viewer,
    ctype = concept,
    firstlevel = false,
    gtype = none,
    htype = concept,
    krtype = mkr,
    mount = "",
    nickname = "",
    primitive = false,
    ptype = none,
    rootname = Viewer,
    shortname = Viewer,
    utype = none,
    xmlname = Viewer,
    xmlns = []
    ;
$
============ 
Dick McCullough 
knowledge := man do identify od existent done;
knowledge haspart proposition list;