This HTML5 document contains 65 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n17http://www.isi.edu/isd/LOOM/
dctermshttp://purl.org/dc/terms/
yago-reshttp://yago-knowledge.org/resource/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n19https://global.dbpedia.org/id/
yagohttp://dbpedia.org/class/yago/
schemahttp://schema.org/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n18http://www.isi.edu/isd/LOOM/PowerLoom/
owlhttp://www.w3.org/2002/07/owl#
wikipedia-enhttp://en.wikipedia.org/wiki/
dbphttp://dbpedia.org/property/
dbchttp://dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
goldhttp://purl.org/linguistics/gold/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:LOOM_(ontology)
rdf:type
dbo:ProgrammingLanguage yago:Communication100033020 yago:WikicatKnowledgeRepresentationLanguages owl:Thing wikidata:Q9143 yago:ProgrammingLanguage106898352 yago:ArtificialLanguage106894544 yago:Language106282651 yago:Abstraction100002137 wikidata:Q315 schema:Language dbo:Language
rdfs:label
LOOM (ontology)
rdfs:comment
Loom is a knowledge representation language developed by researchers in the artificial intelligence research group at the University of Southern California's Information Sciences Institute. The leader of the Loom project and primary architect for Loom was Robert MacGregor. The research was primarily sponsored by the Defense Advanced Research Projects Agency (DARPA). The Loom project's goal is the development and fielding of advanced tools for knowledge representation and reasoning in artificial intelligence. Specifically to enable code to be generated from provably valid domain models.
foaf:name
Loom
dbp:name
Loom
dcterms:subject
dbc:Declarative_programming_languages dbc:Common_Lisp_(programming_language)_software dbc:Knowledge_representation_languages dbc:Ontology_(information_science)
dbo:wikiPageID
1604673
dbo:wikiPageRevisionID
1045558169
dbo:wikiPageWikiLink
dbc:Common_Lisp_(programming_language)_software dbr:Declarative_knowledge dbr:Artificial_intelligence dbr:Forward_chaining dbr:Knowledge_Interchange_Format dbr:Ontology_(information_science) dbc:Ontology_(information_science) dbr:Frame_language dbr:Production_(computer_science) dbr:Knowledge_representation dbr:First_Order_Logic dbc:Declarative_programming_languages dbr:CLOS dbc:Knowledge_representation_languages dbr:University_of_Southern_California dbr:KL-ONE dbr:Object-oriented dbr:Information_Sciences_Institute dbr:Set_theory dbr:Knowledge_representation_and_reasoning dbr:Defense_Advanced_Research_Projects_Agency
dbo:wikiPageExternalLink
n17: n18:index.html
owl:sameAs
yago-res:LOOM_(ontology) n19:4pna6 wikidata:Q6459541 freebase:m.05f_x0
dbp:wikiPageUsesTemplate
dbt:Compu-lang-stub dbt:Reflist dbt:Redirects dbt:Infobox_programming_language
dbp:influenced
PowerLoom
dbp:influencedBy
dbr:Knowledge_Interchange_Format
dbp:latestReleaseDate
1999
dbp:latestReleaseVersion
4
dbp:paradigm
dbr:Knowledge_representation
dbo:abstract
Loom is a knowledge representation language developed by researchers in the artificial intelligence research group at the University of Southern California's Information Sciences Institute. The leader of the Loom project and primary architect for Loom was Robert MacGregor. The research was primarily sponsored by the Defense Advanced Research Projects Agency (DARPA). Loom is a frame-based language in the tradition of KL-ONE. As with KL-ONE, Loom has a formal semantics that maps declarations in Loom to statements in set theory and First Order Logic. This formal semantics enables a type of theorem prover engine called a classifier. The classifier can analyze Loom models (known as ontologies) and deduce various things about the model. For example, the classifier can discover new classes or change the subclass/superclass relations in the model. The classifier can also detect inconsistencies in the model declaration. This is a very powerful and fairly unusual capability in that it is capable of doing analysis at the ontology level, the level of declarations rather than at the implementation level as most inference engines do. The Loom project's goal is the development and fielding of advanced tools for knowledge representation and reasoning in artificial intelligence. Specifically to enable code to be generated from provably valid domain models. Loom is a language and environment for constructing intelligent applications. At its heart is a knowledge representation and reasoning system that combines a Frame-based language with an automatic classifier engine. Declarative knowledge in Loom consists of definitions, rules, facts, and default rules. A deductive engine called a classifier utilizes forward chaining, semantic unification, and object-oriented truth maintenance technologies in order to compile the declarative knowledge into a network designed to efficiently support on-line deductive query processing. The Loom system implements a logic-based pattern matcher that drives a production rule facility and a pattern-directed method dispatching facility that supports the definition of object-oriented methods. The high degree of integration between Loom's declarative and procedural components permits programmers to utilize logic programming, production rule, and object-oriented programming paradigms in a single application. Loom can also be used as a deductive layer that overlays an ordinary CLOS (Common Lisp Object System) network. In this mode, users can obtain many of the benefits of using Loom without impacting the function or performance of their CLOS-based applications. Loom has recently been succeeded by PowerLoom.
gold:hypernym
dbr:Language
prov:wasDerivedFrom
wikipedia-en:LOOM_(ontology)?oldid=1045558169&ns=0
dbo:wikiPageLength
4473
dbo:latestReleaseVersion
4.0
dbo:influencedBy
dbr:Knowledge_Interchange_Format
foaf:isPrimaryTopicOf
wikipedia-en:LOOM_(ontology)