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.

edu.isi.powerloom.semantic_web Class SemanticWeb

edu.isi.powerloom.semantic_web
Class SemanticWeb