SemanticWeb

Overview

Package

Class

Tree

Deprecated

Index

Help

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

edu.isi.powerloom.semantic_web
Class SemanticWeb

java.lang.Object
  edu.isi.powerloom.semantic_web.SemanticWeb

public class SemanticWeb
extends java.lang.Object
extends java.lang.Object

Field Summary
`static Cons`	$BUILT_IN_XML_MODULE_NAMES$
`static java.lang.String`	$CYC_URI$
`static java.lang.String`	$DAML_URI$
`static boolean`	$DEBUG_OWLp$
`static int`	$MODULE_NAME_COUNTER$
`static StellaSpecialVariable`	$NEWLY_CREATED_MODULES$
`static StellaSpecialVariable`	$OWL_METACLASS_TAGS$ List of tags that are metaclasses and thus define concepts.
`static StellaSpecialVariable`	$OWL_METAPROPERTY_TAGS$ List of tags that are metaproperties and thus define binary relations.
`static java.lang.String`	$OWL_URI$
`static StellaSpecialVariable`	$PARSE_NUMBERS_HACKp$ Hack to get numeric input by trying to parse string values as integers or floats.
`static HashTable`	$POWERLOOM_COUNTERPARTS$ A mapping table between symbols and their PowerLoom counterparts.
`static java.lang.String`	$RDF_URI$
`static java.lang.String`	$RDFS_OLD_URI$
`static java.lang.String`	$RDFS_URI$
`static StellaSpecialVariable`	$REFERENCED_NAMESPACE_MODULES$ List containing all of the namespace modules that were accessed by this translation.
`static StellaSpecialVariable`	$REFERENCED_OBJECT_NAMES_HT$ Hash table containing all of the symbol names that have been referenced during the translation of assertions.
`static StellaSpecialVariable`	$REFERENCED_OBJECT_NAMES$ List containing all of the symbol names that have been referenced during the translation of assertions.
`static StellaSpecialVariable`	$TRANSLATE_TO_NATIVE_POWERLOOMp$ When `true` translate those constructs that have native PowerLoom counterparts directly into PowerLoom.
`static java.lang.Object`	$TRANSLATOR_LOCK$
`static int`	$XML_ID_COUNTER$
`static java.lang.String`	$XML_URI$
`static java.lang.String`	$XMLS$
`static Keyword`	`KWD_AXIOMS`
`static Keyword`	`KWD_CASE_SENSITIVEp`
`static Keyword`	`KWD_DOCUMENTATION`
`static Keyword`	`KWD_eg`
`static Keyword`	`KWD_EQUIVALENT`
`static Keyword`	`KWD_INCLUDES`
`static Keyword`	`KWD_JUST_IN_TIME_INFERENCE`
`static Keyword`	`KWD_leg`
`static Keyword`	`KWD_USES`
`static Surrogate`	`SGT_LOGIC_LOGIC_OBJECT`
`static Surrogate`	`SGT_LOGIC_NAMED_DESCRIPTION`
`static Surrogate`	`SGT_PL_KERNEL_KB_DOCUMENTATION`
`static Surrogate`	`SGT_PL_KERNEL_KB_DOMAIN`
`static Surrogate`	`SGT_PL_KERNEL_KB_NTH_DOMAIN`
`static Surrogate`	`SGT_PL_KERNEL_KB_RANGE`
`static Surrogate`	`SGT_PL_KERNEL_KB_SUBSET_OF`
`static Surrogate`	`SGT_STELLA_CONS`
`static Surrogate`	`SGT_STELLA_HASH_TABLE`
`static Surrogate`	`SGT_STELLA_MODULE`
`static Surrogate`	`SGT_STELLA_STRING_WRAPPER`
`static Surrogate`	`SGT_STELLA_SYMBOL`
`static Surrogate`	`SGT_STELLA_THING`
`static Surrogate`	`SGT_STELLA_XML_DECLARATION`
`static Surrogate`	`SGT_STELLA_XML_ELEMENT`
`static Surrogate`	`SGT_STELLA_XML_LOCAL_ATTRIBUTE`
`static Surrogate`	`SGT_STELLA_XML_PROCESSING_INSTRUCTION`
`static Symbol`	`SYM_DAML_Class`
`static Symbol`	`SYM_DAML_disjointWith`
`static Symbol`	`SYM_DAML_Property`
`static Symbol`	`SYM_DAML_Restriction`
`static Symbol`	`SYM_DAML_Thing`
`static Symbol`	`SYM_DAML_TransitiveProperty`
`static Symbol`	`SYM_DAML_UniqueProperty`
`static Symbol`	`SYM_LOGIC_ALL`
`static Symbol`	`SYM_LOGIC_DEFCONCEPT`
`static Symbol`	`SYM_LOGIC_DEFFUNCTION`
`static Symbol`	`SYM_LOGIC_DEFRELATION`
`static Symbol`	`SYM_LOGIC_IN_DIALECT`
`static Symbol`	`SYM_LOGIC_KAPPA`
`static Symbol`	`SYM_LOGIC_leg`
`static Symbol`	`SYM_LOGIC_pX`
`static Symbol`	`SYM_LOGIC_pY`
`static Symbol`	`SYM_LOGIC_pZ`
`static Symbol`	`SYM_OWL_AnnotationProperty`
`static Symbol`	`SYM_OWL_Class`
`static Symbol`	`SYM_OWL_conjunct`
`static Symbol`	`SYM_OWL_disjointWith`
`static Symbol`	`SYM_OWL_equivalentClass`
`static Symbol`	`SYM_OWL_IntersectionOf`
`static Symbol`	`SYM_OWL_inverseOf`
`static Symbol`	`SYM_OWL_Property`
`static Symbol`	`SYM_OWL_Restriction`
`static Symbol`	`SYM_OWL_SymmetricProperty`
`static Symbol`	`SYM_OWL_Thing`
`static Symbol`	`SYM_OWL_TransitiveProperty`
`static Symbol`	`SYM_OWL_UnionOf`
`static Symbol`	`SYM_PL_KERNEL_KB_BINARY_RELATION`
`static Symbol`	`SYM_PL_KERNEL_KB_CONCEPT`
`static Symbol`	`SYM_PL_KERNEL_KB_DISJOINT`
`static Symbol`	`SYM_PL_KERNEL_KB_DOCUMENTATION`
`static Symbol`	`SYM_PL_KERNEL_KB_DOMAIN`
`static Symbol`	`SYM_PL_KERNEL_KB_EQIVALENT_RELATION`
`static Symbol`	`SYM_PL_KERNEL_KB_FUNCTION`
`static Symbol`	`SYM_PL_KERNEL_KB_INSTANCE_OF`
`static Symbol`	`SYM_PL_KERNEL_KB_INVERSE`
`static Symbol`	`SYM_PL_KERNEL_KB_MEMBER_OF`
`static Symbol`	`SYM_PL_KERNEL_KB_NTH_DOMAIN`
`static Symbol`	`SYM_PL_KERNEL_KB_QUALIFIED_RANGE_CARDINALITY`
`static Symbol`	`SYM_PL_KERNEL_KB_QUALIFIED_RANGE_MAX_CARDINALITY`
`static Symbol`	`SYM_PL_KERNEL_KB_QUALIFIED_RANGE_MIN_CARDINALITY`
`static Symbol`	`SYM_PL_KERNEL_KB_RANGE`
`static Symbol`	`SYM_PL_KERNEL_KB_RANGE_CARDINALITY`
`static Symbol`	`SYM_PL_KERNEL_KB_RANGE_MAX_CARDINALITY`
`static Symbol`	`SYM_PL_KERNEL_KB_RANGE_MIN_CARDINALITY`
`static Symbol`	`SYM_PL_KERNEL_KB_RANGE_TYPE`
`static Symbol`	`SYM_PL_KERNEL_KB_SUBSET_OF`
`static Symbol`	`SYM_PL_KERNEL_KB_SYMMETRIC`
`static Symbol`	`SYM_PL_KERNEL_KB_TRANSITIVE`
`static Symbol`	`SYM_RDF_Property`
`static Symbol`	`SYM_RDF_type`
`static Symbol`	`SYM_RDFS_Class`
`static Symbol`	`SYM_RDFS_comment`
`static Symbol`	`SYM_RDFS_domain`
`static Symbol`	`SYM_RDFS_Literal`
`static Symbol`	`SYM_RDFS_range`
`static Symbol`	`SYM_RDFS_Resource`
`static Symbol`	`SYM_RDFS_subClassOf`
`static Symbol`	`SYM_RDFS_subPropertyOf`
`static Symbol`	`SYM_SEMANTIC_WEB_STARTUP_COLLECTOR`
`static Symbol`	`SYM_SEMANTIC_WEB_STARTUP_DAML`
`static Symbol`	`SYM_SEMANTIC_WEB_STARTUP_OWL`
`static Symbol`	`SYM_SEMANTIC_WEB_STARTUP_SEMANTIC_WEB_SYSTEM`
`static Symbol`	`SYM_STELLA_AND`
`static Symbol`	`SYM_STELLA_ASSERT`
`static Symbol`	`SYM_STELLA_CODE_ONLYp`
`static Symbol`	`SYM_STELLA_eg`
`static Symbol`	`SYM_STELLA_EXISTS`
`static Symbol`	`SYM_STELLA_FALSE`
`static Symbol`	`SYM_STELLA_LITERAL`
`static Symbol`	`SYM_STELLA_METHOD_STARTUP_CLASSNAME`
`static Symbol`	`SYM_STELLA_NOT`
`static Symbol`	`SYM_STELLA_OR`
`static Symbol`	`SYM_STELLA_SETOF`
`static Symbol`	`SYM_STELLA_THING`
`static Symbol`	`SYM_STELLA_TRUE`
`static Symbol`	`SYM_TRANSLATION_SUPPORT_ASSOCIATED_XML_NAMESPACE`

Constructor Summary
`SemanticWeb()`

Method Summary
`static void`	`addAssertion(Symbol relation, Symbol subject, Stella_Object value, Module auxModule)`
`static void`	`addConceptAssertion(Symbol concept, Symbol subject, Module auxModule)`
`static boolean`	`anonymousNameP(LogicObject self)`
`static boolean`	`assertionFormP(Stella_Object item)`
`static void`	`associateModuleWithUri(Module module, java.lang.String uri, Module mappingModule)`
`static Proposition`	`buildUriAssociationProposition(Stella_Object moduleName, Stella_Object uri)`
`static Module`	`chooseDefinitionModule(Symbol name, Module auxModule)`
`static void`	`cleanUpXmlnsModule(Module module)`
`static void`	`collectOwlStream(InputStream istream, Module outputModule, java.lang.String uri, Collector coll)` Read OWL XML expressions from `istream` for translation into `outputModule`.
`static Cons`	`computeUpwardClosure(Cons startingPoints)`
`static void`	`createNamespaceModulesFromDoctype(XmlDoctype doc, Module mappingModule)`
`static java.lang.String`	`createNamespaceNameFromUri(java.lang.String uri)`
`static Module`	`createTranslationModule(java.lang.String name, Cons parents, java.lang.String uri, boolean caseSensitiveP)` Convenience function for defining a translation module `name`, a submodule of `parents`.
`static boolean`	`descriptionIgnoredPropositionP(Proposition prop)`
`static void`	`disassociateModuleWithUri(Module module, java.lang.String uri, Module mappingModule)`
`static java.lang.String`	`elementRdfAbout(Cons element)`
`static java.lang.String`	`elementRdfId(Cons element)`
`static java.lang.String`	`elementRdfName(Cons element)`
`static java.lang.String`	`elementRdfResource(Cons element)`
`static void`	`ensureBinaryFunction(Symbol relation, Module auxModule)`
`static void`	`ensureBinaryRelation(Symbol relation, Module auxModule)`
`static void`	`ensureConcept(Symbol concept, Module auxModule)`
`static void`	`ensureForm(Cons form, Module auxModule)`
`static void`	`ensureObject(Symbol objectName, Module auxModule)`
`static void`	`ensureObjectMetatype(Symbol objectName, Symbol objectType, Module auxModule)`
`static int`	`generateAssertionTranslations(List result, Module outputModule, Module auxModule, java.lang.String uri)`
`static Stella_Object`	`generateConceptCombination(LogicObject concept, Symbol conceptVariable, Module outputModule, Module auxModule, java.lang.String uri)`
`static Stella_Object`	`generateConceptReferenceForm(LogicObject concept, Symbol conceptVariable, Module outputModule, Module auxModule, java.lang.String uri)`
`static Cons`	`generateConceptSupers(LogicObject concept, Symbol conceptVariable, Module outputModule, Module auxModule, java.lang.String uri)`
`static int`	`generateConceptTranslations(List result, Module outputModule, Module auxModule, java.lang.String uri)`
`static Cons`	`generateDamlConceptRestrictions(LogicObject concept, LogicObject restriction, Symbol conceptVariable, Module outputModule, Module auxModule, java.lang.String uri)`
`static Symbol`	`generateNewObjectName(java.lang.String prefix, Module module)`
`static Cons`	`generateObjectAxioms(LogicObject obj, Module outputModule, Module auxModule, java.lang.String uri)`
`static Cons`	`generateOneConceptRestriction(LogicObject concept, Symbol conceptVariable, Module outputModule, Module auxModule, java.lang.String uri)`
`static void`	`generateOneConceptTranslation(List result, LogicObject concept, Module outputModule, Module auxModule, java.lang.String uri)`
`static void`	`generateOneRelationTranslation(List result, LogicObject relation, Module outputModule, Module auxModule, java.lang.String uri)`
`static Cons`	`generateOwlConceptRestrictions(LogicObject concept, LogicObject restriction, Symbol conceptVariable, Module outputModule, Module auxModule, java.lang.String uri)`
`static Cons`	`generateRelationSupers(LogicObject relation, Symbol domainVariable, Symbol rangeVariable, Module outputModule, Module auxModule, java.lang.String uri)`
`static int`	`generateRelationTranslations(List result, Module outputModule, Module auxModule, java.lang.String uri)`
`static java.lang.String`	`generateUniqueModuleName(java.lang.String prefix)`
`static Stella_Object`	`getFirstRelationValue(LogicObject relation, Stella_Object instance, Module module, Stella_Object environment)`
`static Module`	`getModuleForUri(java.lang.String uri, Module mappingModule)`
`static Module`	`getTranslationSupportModule()` Central point to hold the translation support module information.
`static Stella_Object`	`getXmlObjectValue(Stella_Object form, Module auxModule, Module targetModule, java.lang.String baseUri)`
`static java.lang.String`	`getXmlStringValue(Stella_Object form)`
`static boolean`	`ignoredAttributeP(XmlAttribute attribute)`
`static boolean`	`ignoredAxiomPredicateP(NamedDescription desc)`
`static boolean`	`ignoredDomainOrRangePropositionP(Proposition prop)`
`static boolean`	`ignoredEquivalentPredicateP(Proposition prop)`
`static boolean`	`ignoredPropositionP(Proposition prop)`
`static Cons`	`loadDamlFile(java.lang.String input, Module module, java.lang.String uri, java.lang.String namespaceName)` Translate the DAML, RDFS or RDF source in file `input` into `module`.
`static void`	`loadOwlFile(java.lang.String inputFile, Module outputModule, java.lang.String uri)` Load OWL XML expressions from `inputFile` into `outputModule`.
`static void`	`loadOwlStream(InputStream istream, Module outputModule, java.lang.String uri)` Load OWL XML expressions from `istream` into `outputModule`.
`static void`	`loadSupportModules(java.lang.String kbDirectory)` Loads the support modules for the translator.
`static Symbol`	`lookupOrCreateName(java.lang.String uriPart, java.lang.String namePart, Module targetModule, java.lang.String baseUri)`
`static Module`	`makeAuxiliaryModule(Module targetModule, int counter)`
`static Stella_Object`	`makeDescriptionReference(Stella_Object descriptionForm, int arity)`
`static Module`	`makeXmlnsModule(java.lang.String name, java.lang.String uri)`
`static boolean`	`needToGenerateP(LogicObject renamed_Object, Module testModule)`
`static int`	`nextInstanceCount()`
`static int`	`nextModuleCount()`
`static boolean`	`owlClassTagP(XmlElement tag)`
`static boolean`	`owlCombinationTagP(XmlElement tag)`
`static boolean`	`owlConjunctionTagP(XmlElement tag)`
`static boolean`	`owlDisjointWithTagP(XmlElement tag)`
`static boolean`	`owlDisjunctionTagP(XmlElement tag)`
`static boolean`	`owlEquivalentClassTagP(XmlElement tag)`
`static boolean`	`owlEquivalentPropertyTagP(XmlElement tag)`
`static boolean`	`owlMetaclassTagP(XmlElement tag)`
`static boolean`	`owlMetapropertyTagP(XmlElement tag)`
`static boolean`	`owlNegationTagP(XmlElement tag)`
`static boolean`	`owlOneOfTagP(XmlElement tag)`
`static boolean`	`owlPropertyTagP(XmlElement tag)`
`static boolean`	`owlRestrictionTagP(XmlElement tag)`
`static boolean`	`owlSubclassOfTagP(XmlElement tag)`
`static boolean`	`owlSubpropertyOfTagP(XmlElement tag)`
`static boolean`	`possibleNamespaceStringP(java.lang.String candidate)`
`static void`	`printUriAssociationAxioms(Module module, Module mappingModule, OutputStream ostream)`
`static boolean`	`rdfDescriptionTagP(XmlElement tag)`
`static Symbol`	`rdfsResourceToPlName(Cons element, Module auxModule, Module targetModule, java.lang.String baseUri)`
`static Symbol`	`rdfsStringToPlName(java.lang.String rdfsString, Module auxModule, Module targetModule, java.lang.String baseUri)`
`static void`	`saveTranslatorNamespaceMappings(java.lang.String mappingFilename, Module mappingModule)` Save definitions and URI links of the namespace modules to `mappingFilename`.
`static Symbol`	`substitutePowerloomName(Symbol name)`
`static Stella_Object`	`translateAnonymousOwlClass(Cons element, Module outputModule, java.lang.String uri, Symbol nameReference, Symbol variableReference, Collector coll)`
`static Stella_Object`	`translateAnonymousOwlProperty(Cons element, Module outputModule, java.lang.String uri, Symbol nameReference, Symbol domainVariable, Symbol rangeVariable, Collector coll)`
`static void`	`translateDamlAssertion(Symbol referent, Cons element, Module outputModule, Module auxModule, java.lang.String uri)`
`static void`	`translateDamlAttributeList(Symbol subject, Cons attributes, Module outputModule, Module auxModule, java.lang.String uri)`
`static void`	`translateDamlClass(Cons element, Module outputModule, Module auxModule, java.lang.String uri)`
`static Stella_Object`	`translateDamlConjunction(Cons element, Module outputModule, Module auxModule, java.lang.String uri)`
`static Stella_Object`	`translateDamlDisjunction(Cons element, Module outputModule, Module auxModule, java.lang.String uri)`
`static void`	`translateDamlFile(java.lang.String input, java.lang.String output, Module module, java.lang.String uri, java.lang.String namespaceName)` Translate the DAML, RDFS or RDF in file `input` to `output` using `module` as the destination module.
`static void`	`translateDamlInstance(Cons element, Module outputModule, Module auxModule, java.lang.String uri)`
`static Stella_Object`	`translateDamlObject(Stella_Object element, Module outputModule, Module auxModule, java.lang.String uri)`
`static List`	`translateDamlObjects(InputStream istream, Module outputmodule, Module auxModule, java.lang.String uri, java.lang.String namespaceName)`
`static void`	`translateDamlOntology(Cons element, Module outputModule, Module auxModule, java.lang.String uri)`
`static void`	`translateDamlPass1(InputStream istream, Module outputModule, Module auxModule, java.lang.String uri)`
`static List`	`translateDamlPass2(Module outputModule, Module auxModule, java.lang.String uri)`
`static void`	`translateDamlProperty(Cons element, boolean uniqueP, Module outputModule, Module auxModule, java.lang.String uri)`
`static void`	`translateDamlStream(InputStream istream, OutputStream ostream, Module module, java.lang.String uri, java.lang.String namespaceName)` Translate the DAML, RDFS or RDF from stream `input` to `output` using `module` as the destination module.
`static Stella_Object`	`translateDamlStructuredObject(Cons element, Module outputModule, Module auxModule, java.lang.String uri)`
`static Stella_Object`	`translateNamedOwlClass(Cons element, Module outputModule, java.lang.String uri, Symbol className, Symbol nameReference, Symbol variableReference, Collector coll)`
`static Stella_Object`	`translateNamedOwlProperty(Cons element, Module outputModule, java.lang.String uri, Symbol relationName, Symbol nameReference, Symbol domainVariable, Symbol rangeVariable, Collector coll)`
`static Stella_Object`	`translateOwlAssertionExpression(Cons element, Module outputModule, java.lang.String uri, Symbol nameReference, Symbol variableReference, Collector coll)`
`static Stella_Object`	`translateOwlClassExpression(Cons element, Module outputModule, java.lang.String uri, Symbol nameReference, Symbol variableReference, Collector coll)`
`static Stella_Object`	`translateOwlClassTag(Cons element, Module outputModule, java.lang.String uri, Symbol nameReference, Symbol variableReference, Collector coll)`
`static Stella_Object`	`translateOwlCombinationTag(Cons element, Module outputModule, java.lang.String uri, Cons variableReference, Collector coll)`
`static void`	`translateOwlFile(java.lang.String inputFile, java.lang.String outputFile, Module outputModule, java.lang.String uri)` Read OWL XML expressions from `inputFile` for translation in `outputModule`.
`static Stella_Object`	`translateOwlInstance(Stella_Object instance, Module outputModule, java.lang.String uri, Collector coll)`
`static Stella_Object`	`translateOwlOneOfTag(Cons element, Module outputModule, java.lang.String uri, Symbol nameReference, Symbol variableReference, Collector coll)`
`static void`	`translateOwlOntology(Cons element, Module outputModule, java.lang.String uri, Collector coll)`
`static Stella_Object`	`translateOwlPropertyExpression(Cons element, Module outputModule, java.lang.String uri, Symbol nameReference, Symbol domainVariable, Symbol rangeVariable, Collector coll)`
`static Stella_Object`	`translateOwlPropertyTag(Cons element, Module outputModule, java.lang.String uri, Symbol nameReference, Symbol domainVariable, Symbol rangeVariable, Collector coll)`
`static Stella_Object`	`translateOwlRestrictionTag(Cons element, Module outputModule, java.lang.String uri, Symbol nameReference, Symbol variableReference, Collector coll)`
`static void`	`translateOwlStream(InputStream istream, OutputStream ostream, Module outputModule, java.lang.String uri)` Read OWL XML expressions from `istream` for translation in `outputModule`.
`static void`	`translateTopDamlExpression(Cons expr, Module outputModule, Module auxModule, java.lang.String uri)` Translate `expr` into an intermediate form in `auxModule`.
`static void`	`translateTopOwlExpression(Cons expr, Module outputModule, java.lang.String uri, Collector coll)` Translate `expr` into an intermediate form in `auxModule`.
`static Stella_Object`	`tryToParseAsNumber(StringWrapper input)`
`static void`	`writeDamlHeader(OutputStream ostream, Module module)`
`static void`	`writeOwlHeader(OutputStream ostream, Module module)`

Methods inherited from class java.lang.Object
`clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait`

Field Detail

SYM_SEMANTIC_WEB_STARTUP_COLLECTOR

public static Symbol SYM_SEMANTIC_WEB_STARTUP_COLLECTOR

SYM_STELLA_METHOD_STARTUP_CLASSNAME

public static Symbol SYM_STELLA_METHOD_STARTUP_CLASSNAME

$DEBUG_OWLp$

public static boolean $DEBUG_OWLp$

$CYC_URI$

public static java.lang.String $CYC_URI$

$XML_URI$

public static java.lang.String $XML_URI$

$XMLS$

public static java.lang.String $XMLS$

$DAML_URI$

public static java.lang.String $DAML_URI$

$OWL_URI$

public static java.lang.String $OWL_URI$

$RDF_URI$

public static java.lang.String $RDF_URI$

$RDFS_URI$

public static java.lang.String $RDFS_URI$

$RDFS_OLD_URI$

public static java.lang.String $RDFS_OLD_URI$

$BUILT_IN_XML_MODULE_NAMES$

public static Cons $BUILT_IN_XML_MODULE_NAMES$

$POWERLOOM_COUNTERPARTS$

public static HashTable $POWERLOOM_COUNTERPARTS$

A mapping table between symbols and their PowerLoom counterparts. These are not necessarily true equivalents, for example RDFS/subClassOf and RDFS/subPropertyOf both map to LOGIC/SUBSET-OF.

SGT_STELLA_HASH_TABLE

public static Surrogate SGT_STELLA_HASH_TABLE

SYM_RDF_Property

public static Symbol SYM_RDF_Property

SYM_PL_KERNEL_KB_BINARY_RELATION

public static Symbol SYM_PL_KERNEL_KB_BINARY_RELATION

SYM_RDF_type

public static Symbol SYM_RDF_type

SYM_PL_KERNEL_KB_INSTANCE_OF

public static Symbol SYM_PL_KERNEL_KB_INSTANCE_OF

SYM_RDFS_Class

public static Symbol SYM_RDFS_Class

SYM_PL_KERNEL_KB_CONCEPT

public static Symbol SYM_PL_KERNEL_KB_CONCEPT

SYM_RDFS_Literal

public static Symbol SYM_RDFS_Literal

SYM_STELLA_LITERAL

public static Symbol SYM_STELLA_LITERAL

SYM_RDFS_comment

public static Symbol SYM_RDFS_comment

SYM_PL_KERNEL_KB_DOCUMENTATION

public static Symbol SYM_PL_KERNEL_KB_DOCUMENTATION

SYM_RDFS_subClassOf

public static Symbol SYM_RDFS_subClassOf

SYM_PL_KERNEL_KB_SUBSET_OF

public static Symbol SYM_PL_KERNEL_KB_SUBSET_OF

SYM_RDFS_subPropertyOf

public static Symbol SYM_RDFS_subPropertyOf

SYM_RDFS_domain

public static Symbol SYM_RDFS_domain

SYM_PL_KERNEL_KB_DOMAIN

public static Symbol SYM_PL_KERNEL_KB_DOMAIN

SYM_RDFS_range

public static Symbol SYM_RDFS_range

SYM_PL_KERNEL_KB_RANGE

public static Symbol SYM_PL_KERNEL_KB_RANGE

SYM_RDFS_Resource

public static Symbol SYM_RDFS_Resource

SYM_STELLA_THING

public static Symbol SYM_STELLA_THING

SYM_DAML_Thing

public static Symbol SYM_DAML_Thing

SYM_DAML_Class

public static Symbol SYM_DAML_Class

SYM_DAML_Property

public static Symbol SYM_DAML_Property

SYM_DAML_TransitiveProperty

public static Symbol SYM_DAML_TransitiveProperty

SYM_PL_KERNEL_KB_TRANSITIVE

public static Symbol SYM_PL_KERNEL_KB_TRANSITIVE

SYM_DAML_disjointWith

public static Symbol SYM_DAML_disjointWith

SYM_PL_KERNEL_KB_DISJOINT

public static Symbol SYM_PL_KERNEL_KB_DISJOINT

SYM_OWL_Thing

public static Symbol SYM_OWL_Thing

SYM_OWL_Class

public static Symbol SYM_OWL_Class

SYM_OWL_Property

public static Symbol SYM_OWL_Property

SYM_OWL_TransitiveProperty

public static Symbol SYM_OWL_TransitiveProperty

SYM_OWL_SymmetricProperty

public static Symbol SYM_OWL_SymmetricProperty

SYM_PL_KERNEL_KB_SYMMETRIC

public static Symbol SYM_PL_KERNEL_KB_SYMMETRIC

SYM_OWL_disjointWith

public static Symbol SYM_OWL_disjointWith

SYM_OWL_inverseOf

public static Symbol SYM_OWL_inverseOf

SYM_PL_KERNEL_KB_INVERSE

public static Symbol SYM_PL_KERNEL_KB_INVERSE

SYM_OWL_equivalentClass

public static Symbol SYM_OWL_equivalentClass

SYM_PL_KERNEL_KB_EQIVALENT_RELATION

public static Symbol SYM_PL_KERNEL_KB_EQIVALENT_RELATION

$TRANSLATOR_LOCK$

public static java.lang.Object $TRANSLATOR_LOCK$

$MODULE_NAME_COUNTER$

public static int $MODULE_NAME_COUNTER$

$XML_ID_COUNTER$

public static int $XML_ID_COUNTER$

$NEWLY_CREATED_MODULES$

public static final StellaSpecialVariable $NEWLY_CREATED_MODULES$

$REFERENCED_OBJECT_NAMES_HT$

public static final StellaSpecialVariable $REFERENCED_OBJECT_NAMES_HT$

Hash table containing all of the symbol names that have been referenced during the translation of assertions.

$REFERENCED_OBJECT_NAMES$

public static final StellaSpecialVariable $REFERENCED_OBJECT_NAMES$

List containing all of the symbol names that have been referenced during the translation of assertions. THIS IS A HACK BECAUSE WE CAN'T ITERATE OVER HASH TABLES in Stella yet!

$REFERENCED_NAMESPACE_MODULES$

public static final StellaSpecialVariable $REFERENCED_NAMESPACE_MODULES$

List containing all of the namespace modules that were accessed by this translation.

$PARSE_NUMBERS_HACKp$

public static final StellaSpecialVariable $PARSE_NUMBERS_HACKp$

Hack to get numeric input by trying to parse string values as integers or floats. If the parse succeeds, use a numeric rather than a string value.

$TRANSLATE_TO_NATIVE_POWERLOOMp$

public static final StellaSpecialVariable $TRANSLATE_TO_NATIVE_POWERLOOMp$

When true translate those constructs that have native PowerLoom counterparts directly into PowerLoom. Otherwise use the indirection of translating to the RDFS, DAML, OWL, etc. relation and rely on the inference rules associated with those constructs.

SYM_STELLA_TRUE

public static Symbol SYM_STELLA_TRUE

SYM_STELLA_FALSE

public static Symbol SYM_STELLA_FALSE

KWD_DOCUMENTATION

public static Keyword KWD_DOCUMENTATION

KWD_INCLUDES

public static Keyword KWD_INCLUDES

KWD_USES

public static Keyword KWD_USES

KWD_CASE_SENSITIVEp

public static Keyword KWD_CASE_SENSITIVEp

SYM_TRANSLATION_SUPPORT_ASSOCIATED_XML_NAMESPACE

public static Symbol SYM_TRANSLATION_SUPPORT_ASSOCIATED_XML_NAMESPACE

SYM_LOGIC_ALL

public static Symbol SYM_LOGIC_ALL

SYM_LOGIC_pX

public static Symbol SYM_LOGIC_pX

SGT_STELLA_CONS

public static Surrogate SGT_STELLA_CONS

KWD_EQUIVALENT

public static Keyword KWD_EQUIVALENT

SGT_PL_KERNEL_KB_NTH_DOMAIN

public static Surrogate SGT_PL_KERNEL_KB_NTH_DOMAIN

SGT_PL_KERNEL_KB_DOMAIN

public static Surrogate SGT_PL_KERNEL_KB_DOMAIN

SGT_PL_KERNEL_KB_RANGE

public static Surrogate SGT_PL_KERNEL_KB_RANGE

SGT_PL_KERNEL_KB_DOCUMENTATION

public static Surrogate SGT_PL_KERNEL_KB_DOCUMENTATION

SGT_PL_KERNEL_KB_SUBSET_OF

public static Surrogate SGT_PL_KERNEL_KB_SUBSET_OF

SGT_STELLA_XML_LOCAL_ATTRIBUTE

public static Surrogate SGT_STELLA_XML_LOCAL_ATTRIBUTE

SYM_OWL_IntersectionOf

public static Symbol SYM_OWL_IntersectionOf

SYM_OWL_conjunct

public static Symbol SYM_OWL_conjunct

SYM_STELLA_CODE_ONLYp

public static Symbol SYM_STELLA_CODE_ONLYp

SYM_PL_KERNEL_KB_FUNCTION

public static Symbol SYM_PL_KERNEL_KB_FUNCTION

SGT_STELLA_SYMBOL

public static Surrogate SGT_STELLA_SYMBOL

SGT_STELLA_STRING_WRAPPER

public static Surrogate SGT_STELLA_STRING_WRAPPER

SGT_STELLA_XML_ELEMENT

public static Surrogate SGT_STELLA_XML_ELEMENT

SGT_STELLA_XML_DECLARATION

public static Surrogate SGT_STELLA_XML_DECLARATION

SGT_STELLA_XML_PROCESSING_INSTRUCTION

public static Surrogate SGT_STELLA_XML_PROCESSING_INSTRUCTION

SYM_STELLA_AND

public static Symbol SYM_STELLA_AND

KWD_AXIOMS

public static Keyword KWD_AXIOMS

KWD_eg

public static Keyword KWD_eg

SYM_LOGIC_DEFCONCEPT

public static Symbol SYM_LOGIC_DEFCONCEPT

SYM_STELLA_OR

public static Symbol SYM_STELLA_OR

SYM_DAML_Restriction

public static Symbol SYM_DAML_Restriction

SYM_OWL_Restriction

public static Symbol SYM_OWL_Restriction

SYM_OWL_UnionOf

public static Symbol SYM_OWL_UnionOf

SGT_STELLA_THING

public static Surrogate SGT_STELLA_THING

SYM_LOGIC_pY

public static Symbol SYM_LOGIC_pY

SYM_LOGIC_pZ

public static Symbol SYM_LOGIC_pZ

SYM_PL_KERNEL_KB_RANGE_TYPE

public static Symbol SYM_PL_KERNEL_KB_RANGE_TYPE

SGT_LOGIC_LOGIC_OBJECT

public static Surrogate SGT_LOGIC_LOGIC_OBJECT

SYM_STELLA_EXISTS

public static Symbol SYM_STELLA_EXISTS

SYM_PL_KERNEL_KB_RANGE_MIN_CARDINALITY

public static Symbol SYM_PL_KERNEL_KB_RANGE_MIN_CARDINALITY

SYM_PL_KERNEL_KB_RANGE_MAX_CARDINALITY

public static Symbol SYM_PL_KERNEL_KB_RANGE_MAX_CARDINALITY

SYM_PL_KERNEL_KB_RANGE_CARDINALITY

public static Symbol SYM_PL_KERNEL_KB_RANGE_CARDINALITY

SYM_PL_KERNEL_KB_QUALIFIED_RANGE_MIN_CARDINALITY

public static Symbol SYM_PL_KERNEL_KB_QUALIFIED_RANGE_MIN_CARDINALITY

SYM_PL_KERNEL_KB_QUALIFIED_RANGE_MAX_CARDINALITY

public static Symbol SYM_PL_KERNEL_KB_QUALIFIED_RANGE_MAX_CARDINALITY

SYM_PL_KERNEL_KB_QUALIFIED_RANGE_CARDINALITY

public static Symbol SYM_PL_KERNEL_KB_QUALIFIED_RANGE_CARDINALITY

SYM_DAML_UniqueProperty

public static Symbol SYM_DAML_UniqueProperty

SYM_LOGIC_DEFFUNCTION

public static Symbol SYM_LOGIC_DEFFUNCTION

SYM_LOGIC_DEFRELATION

public static Symbol SYM_LOGIC_DEFRELATION

SGT_LOGIC_NAMED_DESCRIPTION

public static Surrogate SGT_LOGIC_NAMED_DESCRIPTION

SYM_STELLA_ASSERT

public static Symbol SYM_STELLA_ASSERT

KWD_JUST_IN_TIME_INFERENCE

public static Keyword KWD_JUST_IN_TIME_INFERENCE

SGT_STELLA_MODULE

public static Surrogate SGT_STELLA_MODULE

SYM_LOGIC_IN_DIALECT

public static Symbol SYM_LOGIC_IN_DIALECT

SYM_SEMANTIC_WEB_STARTUP_DAML

public static Symbol SYM_SEMANTIC_WEB_STARTUP_DAML

$OWL_METACLASS_TAGS$

public static final StellaSpecialVariable $OWL_METACLASS_TAGS$

List of tags that are metaclasses and thus define concepts.

$OWL_METAPROPERTY_TAGS$

public static final StellaSpecialVariable $OWL_METAPROPERTY_TAGS$

List of tags that are metaproperties and thus define binary relations.

SYM_LOGIC_KAPPA

public static Symbol SYM_LOGIC_KAPPA

KWD_leg

public static Keyword KWD_leg

SYM_STELLA_eg

public static Symbol SYM_STELLA_eg

SYM_LOGIC_leg

public static Symbol SYM_LOGIC_leg

SYM_PL_KERNEL_KB_MEMBER_OF

public static Symbol SYM_PL_KERNEL_KB_MEMBER_OF

SYM_STELLA_SETOF

public static Symbol SYM_STELLA_SETOF

SYM_STELLA_NOT

public static Symbol SYM_STELLA_NOT

SYM_OWL_AnnotationProperty

public static Symbol SYM_OWL_AnnotationProperty

SYM_PL_KERNEL_KB_NTH_DOMAIN

public static Symbol SYM_PL_KERNEL_KB_NTH_DOMAIN

SYM_SEMANTIC_WEB_STARTUP_OWL

public static Symbol SYM_SEMANTIC_WEB_STARTUP_OWL

SYM_SEMANTIC_WEB_STARTUP_SEMANTIC_WEB_SYSTEM

public static Symbol SYM_SEMANTIC_WEB_STARTUP_SEMANTIC_WEB_SYSTEM

Constructor Detail

SemanticWeb

public SemanticWeb()

Method Detail

writeDamlHeader

public static void writeDamlHeader(OutputStream ostream,
                                   Module module)

nextModuleCount

public static int nextModuleCount()

nextInstanceCount

public static int nextInstanceCount()

getTranslationSupportModule

public static Module getTranslationSupportModule()

Central point to hold the translation support module information.

Returns:: Module

makeAuxiliaryModule

public static Module makeAuxiliaryModule(Module targetModule,
                                         int counter)

elementRdfId

public static java.lang.String elementRdfId(Cons element)

elementRdfAbout

public static java.lang.String elementRdfAbout(Cons element)

elementRdfResource

public static java.lang.String elementRdfResource(Cons element)

elementRdfName

public static java.lang.String elementRdfName(Cons element)

getFirstRelationValue

public static Stella_Object getFirstRelationValue(LogicObject relation,
                                                  Stella_Object instance,
                                                  Module module,
                                                  Stella_Object environment)

generateUniqueModuleName

public static java.lang.String generateUniqueModuleName(java.lang.String prefix)

generateNewObjectName

public static Symbol generateNewObjectName(java.lang.String prefix,
                                           Module module)

anonymousNameP

public static boolean anonymousNameP(LogicObject self)

cleanUpXmlnsModule

public static void cleanUpXmlnsModule(Module module)

buildUriAssociationProposition

public static Proposition buildUriAssociationProposition(Stella_Object moduleName,
                                                         Stella_Object uri)

associateModuleWithUri

public static void associateModuleWithUri(Module module,
                                          java.lang.String uri,
                                          Module mappingModule)

disassociateModuleWithUri

public static void disassociateModuleWithUri(Module module,
                                             java.lang.String uri,
                                             Module mappingModule)

getModuleForUri

public static Module getModuleForUri(java.lang.String uri,
                                     Module mappingModule)

printUriAssociationAxioms

public static void printUriAssociationAxioms(Module module,
                                             Module mappingModule,
                                             OutputStream ostream)

makeXmlnsModule

public static Module makeXmlnsModule(java.lang.String name,
                                     java.lang.String uri)

possibleNamespaceStringP

public static boolean possibleNamespaceStringP(java.lang.String candidate)

createNamespaceModulesFromDoctype

public static void createNamespaceModulesFromDoctype(XmlDoctype doc,
                                                     Module mappingModule)

substitutePowerloomName

public static Symbol substitutePowerloomName(Symbol name)

lookupOrCreateName

public static Symbol lookupOrCreateName(java.lang.String uriPart,
                                        java.lang.String namePart,
                                        Module targetModule,
                                        java.lang.String baseUri)

rdfsStringToPlName

public static Symbol rdfsStringToPlName(java.lang.String rdfsString,
                                        Module auxModule,
                                        Module targetModule,
                                        java.lang.String baseUri)

rdfsResourceToPlName

public static Symbol rdfsResourceToPlName(Cons element,
                                          Module auxModule,
                                          Module targetModule,
                                          java.lang.String baseUri)

getXmlStringValue

public static java.lang.String getXmlStringValue(Stella_Object form)

getXmlObjectValue

public static Stella_Object getXmlObjectValue(Stella_Object form,
                                              Module auxModule,
                                              Module targetModule,
                                              java.lang.String baseUri)

ignoredAttributeP

public static boolean ignoredAttributeP(XmlAttribute attribute)

ignoredAxiomPredicateP

public static boolean ignoredAxiomPredicateP(NamedDescription desc)

ignoredEquivalentPredicateP

public static boolean ignoredEquivalentPredicateP(Proposition prop)

ignoredDomainOrRangePropositionP

public static boolean ignoredDomainOrRangePropositionP(Proposition prop)

ignoredPropositionP

public static boolean ignoredPropositionP(Proposition prop)

descriptionIgnoredPropositionP

public static boolean descriptionIgnoredPropositionP(Proposition prop)

translateDamlAttributeList

public static void translateDamlAttributeList(Symbol subject,
                                              Cons attributes,
                                              Module outputModule,
                                              Module auxModule,
                                              java.lang.String uri)

translateDamlStructuredObject

public static Stella_Object translateDamlStructuredObject(Cons element,
                                                          Module outputModule,
                                                          Module auxModule,
                                                          java.lang.String uri)

translateDamlConjunction

public static Stella_Object translateDamlConjunction(Cons element,
                                                     Module outputModule,
                                                     Module auxModule,
                                                     java.lang.String uri)

translateDamlDisjunction

public static Stella_Object translateDamlDisjunction(Cons element,
                                                     Module outputModule,
                                                     Module auxModule,
                                                     java.lang.String uri)

translateDamlObject

public static Stella_Object translateDamlObject(Stella_Object element,
                                                Module outputModule,
                                                Module auxModule,
                                                java.lang.String uri)

translateDamlClass

public static void translateDamlClass(Cons element,
                                      Module outputModule,
                                      Module auxModule,
                                      java.lang.String uri)

translateDamlProperty

public static void translateDamlProperty(Cons element,
                                         boolean uniqueP,
                                         Module outputModule,
                                         Module auxModule,
                                         java.lang.String uri)

translateDamlAssertion

public static void translateDamlAssertion(Symbol referent,
                                          Cons element,
                                          Module outputModule,
                                          Module auxModule,
                                          java.lang.String uri)

translateDamlInstance

public static void translateDamlInstance(Cons element,
                                         Module outputModule,
                                         Module auxModule,
                                         java.lang.String uri)

translateDamlOntology

public static void translateDamlOntology(Cons element,
                                         Module outputModule,
                                         Module auxModule,
                                         java.lang.String uri)

ensureForm

public static void ensureForm(Cons form,
                              Module auxModule)

chooseDefinitionModule

public static Module chooseDefinitionModule(Symbol name,
                                            Module auxModule)

ensureObject

public static void ensureObject(Symbol objectName,
                                Module auxModule)

ensureConcept

public static void ensureConcept(Symbol concept,
                                 Module auxModule)

ensureBinaryRelation

public static void ensureBinaryRelation(Symbol relation,
                                        Module auxModule)

ensureBinaryFunction

public static void ensureBinaryFunction(Symbol relation,
                                        Module auxModule)

ensureObjectMetatype

public static void ensureObjectMetatype(Symbol objectName,
                                        Symbol objectType,
                                        Module auxModule)

tryToParseAsNumber

public static Stella_Object tryToParseAsNumber(StringWrapper input)

addAssertion

public static void addAssertion(Symbol relation,
                                Symbol subject,
                                Stella_Object value,
                                Module auxModule)

addConceptAssertion

public static void addConceptAssertion(Symbol concept,
                                       Symbol subject,
                                       Module auxModule)

translateTopDamlExpression

public static void translateTopDamlExpression(Cons expr,
                                              Module outputModule,
                                              Module auxModule,
                                              java.lang.String uri)

Translate expr into an intermediate form in auxModule.

Parameters:: expr -; outputModule -; auxModule -; uri -

translateDamlPass1

public static void translateDamlPass1(InputStream istream,
                                      Module outputModule,
                                      Module auxModule,
                                      java.lang.String uri)

translateDamlPass2

public static List translateDamlPass2(Module outputModule,
                                      Module auxModule,
                                      java.lang.String uri)

needToGenerateP

public static boolean needToGenerateP(LogicObject renamed_Object,
                                      Module testModule)

generateConceptTranslations

public static int generateConceptTranslations(List result,
                                              Module outputModule,
                                              Module auxModule,
                                              java.lang.String uri)

generateOneConceptTranslation

public static void generateOneConceptTranslation(List result,
                                                 LogicObject concept,
                                                 Module outputModule,
                                                 Module auxModule,
                                                 java.lang.String uri)

generateConceptReferenceForm

public static Stella_Object generateConceptReferenceForm(LogicObject concept,
                                                         Symbol conceptVariable,
                                                         Module outputModule,
                                                         Module auxModule,
                                                         java.lang.String uri)

generateConceptSupers

public static Cons generateConceptSupers(LogicObject concept,
                                         Symbol conceptVariable,
                                         Module outputModule,
                                         Module auxModule,
                                         java.lang.String uri)

generateOneConceptRestriction

public static Cons generateOneConceptRestriction(LogicObject concept,
                                                 Symbol conceptVariable,
                                                 Module outputModule,
                                                 Module auxModule,
                                                 java.lang.String uri)

generateDamlConceptRestrictions

public static Cons generateDamlConceptRestrictions(LogicObject concept,
                                                   LogicObject restriction,
                                                   Symbol conceptVariable,
                                                   Module outputModule,
                                                   Module auxModule,
                                                   java.lang.String uri)

generateOwlConceptRestrictions

public static Cons generateOwlConceptRestrictions(LogicObject concept,
                                                  LogicObject restriction,
                                                  Symbol conceptVariable,
                                                  Module outputModule,
                                                  Module auxModule,
                                                  java.lang.String uri)

generateConceptCombination

public static Stella_Object generateConceptCombination(LogicObject concept,
                                                       Symbol conceptVariable,
                                                       Module outputModule,
                                                       Module auxModule,
                                                       java.lang.String uri)

generateRelationTranslations

public static int generateRelationTranslations(List result,
                                               Module outputModule,
                                               Module auxModule,
                                               java.lang.String uri)

generateOneRelationTranslation

public static void generateOneRelationTranslation(List result,
                                                  LogicObject relation,
                                                  Module outputModule,
                                                  Module auxModule,
                                                  java.lang.String uri)

generateRelationSupers

public static Cons generateRelationSupers(LogicObject relation,
                                          Symbol domainVariable,
                                          Symbol rangeVariable,
                                          Module outputModule,
                                          Module auxModule,
                                          java.lang.String uri)

generateObjectAxioms

public static Cons generateObjectAxioms(LogicObject obj,
                                        Module outputModule,
                                        Module auxModule,
                                        java.lang.String uri)

generateAssertionTranslations

public static int generateAssertionTranslations(List result,
                                                Module outputModule,
                                                Module auxModule,
                                                java.lang.String uri)

translateDamlObjects

public static List translateDamlObjects(InputStream istream,
                                        Module outputmodule,
                                        Module auxModule,
                                        java.lang.String uri,
                                        java.lang.String namespaceName)

saveTranslatorNamespaceMappings

public static void saveTranslatorNamespaceMappings(java.lang.String mappingFilename,
                                                   Module mappingModule)

Save definitions and URI links of the namespace modules to mappingFilename. The links are taken from mappingModule.

Parameters:: mappingFilename -; mappingModule -

computeUpwardClosure

public static Cons computeUpwardClosure(Cons startingPoints)

translateDamlStream

public static void translateDamlStream(InputStream istream,
                                       OutputStream ostream,
                                       Module module,
                                       java.lang.String uri,
                                       java.lang.String namespaceName)

Translate the DAML, RDFS or RDF from stream input to output using module as the destination module. uri, if supplied, is the URI that corresponds to the file input. The PowerLoom namespace module for this uri will be named namespaceName.

Parameters:: istream -; ostream -; module -; uri -; namespaceName -

translateDamlFile

public static void translateDamlFile(java.lang.String input,
                                     java.lang.String output,
                                     Module module,
                                     java.lang.String uri,
                                     java.lang.String namespaceName)

Translate the DAML, RDFS or RDF in file input to output using module as the destination module. uri, if supplied, is the URI that corresponds to the file input. The PowerLoom namespace module for this uri will be named namespaceName.

Parameters:: input -; output -; module -; uri -; namespaceName -

loadDamlFile

public static Cons loadDamlFile(java.lang.String input,
                                Module module,
                                java.lang.String uri,
                                java.lang.String namespaceName)

Translate the DAML, RDFS or RDF source in file input into module. uri, if supplied, is the URI that corresponds to the file input. A PowerLoom module with the name namespaceName will be associated with that uri. If no such name is supplied, then a name will be generated for the associated PowerLoom module. Returns a list of newly created modules.

Parameters:: input -; module -; uri -; namespaceName -
Returns:: Cons

loadSupportModules

public static void loadSupportModules(java.lang.String kbDirectory)

Loads the support modules for the translator. The files should be located in kbDirectory. If this is null, then the logical pathname "pl:kbs;semantic-web;" will be used as the directory.

Parameters:: kbDirectory -

createTranslationModule

public static Module createTranslationModule(java.lang.String name,
                                             Cons parents,
                                             java.lang.String uri,
                                             boolean caseSensitiveP)

Convenience function for defining a translation module name, a submodule of parents. If no parents are supplied it will be a sub of WEB-CORE. All modules will use the STELLA and LOGIC modules. It will be associated with uri (if non-null), and case sensitive if the caseSensitiveP flag is true.

Parameters:: name -; parents -; uri -; caseSensitiveP -
Returns:: Module

rdfDescriptionTagP

public static boolean rdfDescriptionTagP(XmlElement tag)

owlClassTagP

public static boolean owlClassTagP(XmlElement tag)

owlMetaclassTagP

public static boolean owlMetaclassTagP(XmlElement tag)

owlRestrictionTagP

public static boolean owlRestrictionTagP(XmlElement tag)

owlPropertyTagP

public static boolean owlPropertyTagP(XmlElement tag)

owlMetapropertyTagP

public static boolean owlMetapropertyTagP(XmlElement tag)

owlSubclassOfTagP

public static boolean owlSubclassOfTagP(XmlElement tag)

owlEquivalentClassTagP

public static boolean owlEquivalentClassTagP(XmlElement tag)

owlSubpropertyOfTagP

public static boolean owlSubpropertyOfTagP(XmlElement tag)

owlEquivalentPropertyTagP

public static boolean owlEquivalentPropertyTagP(XmlElement tag)

owlDisjointWithTagP

public static boolean owlDisjointWithTagP(XmlElement tag)

owlConjunctionTagP

public static boolean owlConjunctionTagP(XmlElement tag)

owlDisjunctionTagP

public static boolean owlDisjunctionTagP(XmlElement tag)

owlNegationTagP

public static boolean owlNegationTagP(XmlElement tag)

owlOneOfTagP

public static boolean owlOneOfTagP(XmlElement tag)

owlCombinationTagP

public static boolean owlCombinationTagP(XmlElement tag)

assertionFormP

public static boolean assertionFormP(Stella_Object item)

makeDescriptionReference

public static Stella_Object makeDescriptionReference(Stella_Object descriptionForm,
                                                     int arity)

translateOwlOntology

public static void translateOwlOntology(Cons element,
                                        Module outputModule,
                                        java.lang.String uri,
                                        Collector coll)

translateOwlInstance

public static Stella_Object translateOwlInstance(Stella_Object instance,
                                                 Module outputModule,
                                                 java.lang.String uri,
                                                 Collector coll)

translateOwlAssertionExpression

public static Stella_Object translateOwlAssertionExpression(Cons element,
                                                            Module outputModule,
                                                            java.lang.String uri,
                                                            Symbol nameReference,
                                                            Symbol variableReference,
                                                            Collector coll)

translateNamedOwlClass

public static Stella_Object translateNamedOwlClass(Cons element,
                                                   Module outputModule,
                                                   java.lang.String uri,
                                                   Symbol className,
                                                   Symbol nameReference,
                                                   Symbol variableReference,
                                                   Collector coll)

translateAnonymousOwlClass

public static Stella_Object translateAnonymousOwlClass(Cons element,
                                                       Module outputModule,
                                                       java.lang.String uri,
                                                       Symbol nameReference,
                                                       Symbol variableReference,
                                                       Collector coll)

translateOwlClassTag

public static Stella_Object translateOwlClassTag(Cons element,
                                                 Module outputModule,
                                                 java.lang.String uri,
                                                 Symbol nameReference,
                                                 Symbol variableReference,
                                                 Collector coll)

translateOwlOneOfTag

public static Stella_Object translateOwlOneOfTag(Cons element,
                                                 Module outputModule,
                                                 java.lang.String uri,
                                                 Symbol nameReference,
                                                 Symbol variableReference,
                                                 Collector coll)

translateOwlRestrictionTag

public static Stella_Object translateOwlRestrictionTag(Cons element,
                                                       Module outputModule,
                                                       java.lang.String uri,
                                                       Symbol nameReference,
                                                       Symbol variableReference,
                                                       Collector coll)

translateOwlCombinationTag

public static Stella_Object translateOwlCombinationTag(Cons element,
                                                       Module outputModule,
                                                       java.lang.String uri,
                                                       Cons variableReference,
                                                       Collector coll)

translateOwlClassExpression

public static Stella_Object translateOwlClassExpression(Cons element,
                                                        Module outputModule,
                                                        java.lang.String uri,
                                                        Symbol nameReference,
                                                        Symbol variableReference,
                                                        Collector coll)

translateNamedOwlProperty

public static Stella_Object translateNamedOwlProperty(Cons element,
                                                      Module outputModule,
                                                      java.lang.String uri,
                                                      Symbol relationName,
                                                      Symbol nameReference,
                                                      Symbol domainVariable,
                                                      Symbol rangeVariable,
                                                      Collector coll)

translateAnonymousOwlProperty

public static Stella_Object translateAnonymousOwlProperty(Cons element,
                                                          Module outputModule,
                                                          java.lang.String uri,
                                                          Symbol nameReference,
                                                          Symbol domainVariable,
                                                          Symbol rangeVariable,
                                                          Collector coll)

translateOwlPropertyTag

public static Stella_Object translateOwlPropertyTag(Cons element,
                                                    Module outputModule,
                                                    java.lang.String uri,
                                                    Symbol nameReference,
                                                    Symbol domainVariable,
                                                    Symbol rangeVariable,
                                                    Collector coll)

translateOwlPropertyExpression

public static Stella_Object translateOwlPropertyExpression(Cons element,
                                                           Module outputModule,
                                                           java.lang.String uri,
                                                           Symbol nameReference,
                                                           Symbol domainVariable,
                                                           Symbol rangeVariable,
                                                           Collector coll)

translateTopOwlExpression

public static void translateTopOwlExpression(Cons expr,
                                             Module outputModule,
                                             java.lang.String uri,
                                             Collector coll)

Translate expr into an intermediate form in auxModule.

Parameters:: expr -; outputModule -; uri -; coll -

writeOwlHeader

public static void writeOwlHeader(OutputStream ostream,
                                  Module module)

createNamespaceNameFromUri

public static java.lang.String createNamespaceNameFromUri(java.lang.String uri)

collectOwlStream

public static void collectOwlStream(InputStream istream,
                                    Module outputModule,
                                    java.lang.String uri,
                                    Collector coll)

Read OWL XML expressions from istream for translation into outputModule. The expressions are associated with the URI uri, and collected using coll.

Parameters:: istream -; outputModule -; uri -; coll -

translateOwlStream

public static void translateOwlStream(InputStream istream,
                                      OutputStream ostream,
                                      Module outputModule,
                                      java.lang.String uri)

Read OWL XML expressions from istream for translation in outputModule. The results are written to ostream. The expressions are associated with the URI uri.

Parameters:: istream -; ostream -; outputModule -; uri -

translateOwlFile

public static void translateOwlFile(java.lang.String inputFile,
                                    java.lang.String outputFile,
                                    Module outputModule,
                                    java.lang.String uri)

Read OWL XML expressions from inputFile for translation in outputModule. The results are written to outputFile. The expressions are associated with the URI uri.

Parameters:: inputFile -; outputFile -; outputModule -; uri -

loadOwlStream

public static void loadOwlStream(InputStream istream,
                                 Module outputModule,
                                 java.lang.String uri)

Load OWL XML expressions from istream into outputModule. The expressions are associated with the URI uri.

Parameters:: istream -; outputModule -; uri -

loadOwlFile

public static void loadOwlFile(java.lang.String inputFile,
                               Module outputModule,
                               java.lang.String uri)

Load OWL XML expressions from inputFile into outputModule. The expressions are associated with the URI uri.

Parameters:: inputFile -; outputModule -; uri -

Overview

Package

Class

Tree

Deprecated

Index

Help

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

edu.isi.powerloom.semantic_web Class SemanticWeb

SYM_SEMANTIC_WEB_STARTUP_COLLECTOR

SYM_STELLA_METHOD_STARTUP_CLASSNAME

$DEBUG_OWLp$

$CYC_URI$

$XML_URI$

$XMLS$

$DAML_URI$

$OWL_URI$

$RDF_URI$

$RDFS_URI$

$RDFS_OLD_URI$

$BUILT_IN_XML_MODULE_NAMES$

$POWERLOOM_COUNTERPARTS$

SGT_STELLA_HASH_TABLE

SYM_RDF_Property

SYM_PL_KERNEL_KB_BINARY_RELATION

SYM_RDF_type

SYM_PL_KERNEL_KB_INSTANCE_OF

SYM_RDFS_Class

SYM_PL_KERNEL_KB_CONCEPT

SYM_RDFS_Literal

SYM_STELLA_LITERAL

SYM_RDFS_comment

SYM_PL_KERNEL_KB_DOCUMENTATION

SYM_RDFS_subClassOf

SYM_PL_KERNEL_KB_SUBSET_OF

SYM_RDFS_subPropertyOf

SYM_RDFS_domain

SYM_PL_KERNEL_KB_DOMAIN

SYM_RDFS_range

SYM_PL_KERNEL_KB_RANGE

SYM_RDFS_Resource

SYM_STELLA_THING

SYM_DAML_Thing

SYM_DAML_Class

SYM_DAML_Property

SYM_DAML_TransitiveProperty

SYM_PL_KERNEL_KB_TRANSITIVE

SYM_DAML_disjointWith

SYM_PL_KERNEL_KB_DISJOINT

SYM_OWL_Thing

SYM_OWL_Class

SYM_OWL_Property

SYM_OWL_TransitiveProperty

SYM_OWL_SymmetricProperty

SYM_PL_KERNEL_KB_SYMMETRIC

SYM_OWL_disjointWith

SYM_OWL_inverseOf

SYM_PL_KERNEL_KB_INVERSE

SYM_OWL_equivalentClass

SYM_PL_KERNEL_KB_EQIVALENT_RELATION

$TRANSLATOR_LOCK$

$MODULE_NAME_COUNTER$

$XML_ID_COUNTER$

$NEWLY_CREATED_MODULES$

$REFERENCED_OBJECT_NAMES_HT$

$REFERENCED_OBJECT_NAMES$

$REFERENCED_NAMESPACE_MODULES$

$PARSE_NUMBERS_HACKp$

$TRANSLATE_TO_NATIVE_POWERLOOMp$

SYM_STELLA_TRUE

SYM_STELLA_FALSE

KWD_DOCUMENTATION

KWD_INCLUDES

KWD_USES

KWD_CASE_SENSITIVEp

SYM_TRANSLATION_SUPPORT_ASSOCIATED_XML_NAMESPACE

SYM_LOGIC_ALL

SYM_LOGIC_pX

SGT_STELLA_CONS

KWD_EQUIVALENT

SGT_PL_KERNEL_KB_NTH_DOMAIN

SGT_PL_KERNEL_KB_DOMAIN

SGT_PL_KERNEL_KB_RANGE

SGT_PL_KERNEL_KB_DOCUMENTATION

SGT_PL_KERNEL_KB_SUBSET_OF

SGT_STELLA_XML_LOCAL_ATTRIBUTE

SYM_OWL_IntersectionOf

SYM_OWL_conjunct

edu.isi.powerloom.semantic_web
Class SemanticWeb