Find link

language:

Find link is a tool written by Edward Betts.

searching for Description logic 17 found (73 total)

CL-HTTP (631 words) [view diff] case mismatch in snippet view article find links to article

Christopher A. "An HTML Interface for Classic". Proceedings of the 1996 Description Logic Workshop (DL'96). WS-96-05 in AAAI Technical Report. AAAI Press. Rahkila

Prototype theory (4,170 words) [view diff] exact match in snippet view article find links to article

1037/0278-7393.14.1.12. Lieto, Antonio; Pozzato, Gian Luca (2020). "A description logic framework for commonsense conceptual combination integrating typicality

Logic synthesis (1,258 words) [view diff] no match in snippet view article find links to article

operations, control flow, etc. A common output of this step is RTL description. Logic design is commonly followed by the circuit design step. In modern

Conceptual blending (2,191 words) [view diff] exact match in snippet view article find links to article

cogsys.2011.01.004. Lieto, Antonio; Pozzato, Gian Luca (2020). "A description logic framework for commonsense conceptual combination integrating typicality

Knowledge representation and reasoning (5,024 words) [view diff] case mismatch in snippet view article find links to article

Principles of Knowledge Representation and Reasoning Incorporated Description Logic in Practice: A CLASSIC Application The Rule Markup Initiative Nelements

Ontology alignment (1,304 words) [view diff] case mismatch in snippet view article find links to article

obtain richer alignments, and have a well defined semantics in every Description Logic. Let's now introduce more formally ontology matching and mapping.

Equisatisfiability (282 words) [view diff] case mismatch in snippet view article find links to article

n {\displaystyle n} has to be true in this case. Markus Krötzsch (11 October 2010). Description Logic Rules. IOS Press. ISBN 978-1-61499-342-1. v t e

Michael Ashburner (2,689 words) [view diff] case mismatch in snippet view article find links to article

Ashburner, M. (2002). "A Methodology to Migrate the Gene Ontology to a Description Logic Environment Using Daml+Oil". Biocomputing 2003. Pacific Symposium

Behavior tree (artificial intelligence, robotics and control) (1,771 words) [view diff] case mismatch in snippet view article

Conference on. Klöckner, Andreas. "Interfacing BTs with the World Using Description Logic." In AIAA Guidance, Navigation and Control Conference, Boston, MA

Stefan Decker (280 words) [view diff] exact match in snippet view article find links to article

147–185. Grosof, Benjamin N., et al. "Description logic programs: combining logic programs with description logic." Proceedings of the 12th international

Frame problem (4,820 words) [view diff] exact match in snippet view article find links to article

frame problem only arises when a specification given in an action description logic is to be translated into logic. Typically, however, a translation

HiLog (601 words) [view diff] exact match in snippet view article find links to article

Jos; Heymans, Stijn (January 2008). "On the relationship between description logic-based and F-logic-based ontologies". Fundamenta Informaticae. 82 (3):

Carole Goble (2,436 words) [view diff] exact match in snippet view article find links to article

Ashburner, M. (2003). "A methodology to migrate the gene ontology to a description logic environment using DAML+OIL". Pacific Symposium on Biocomputing: 624–635

Robert Stevens (scientist) (1,440 words) [view diff] exact match in snippet view article

Ashburner, M. (2003). "A methodology to migrate the gene ontology to a description logic environment using DAML+OIL". Pacific Symposium on Biocomputing: 624–635

Alan Rector (798 words) [view diff] case mismatch in snippet view article find links to article

Brandt, S. (2008). "Why Do It the Hard Way? The Case for an Expressive Description Logic for SNOMED". Journal of the American Medical Informatics Association

Drama annotation (1,931 words) [view diff] exact match in snippet view article find links to article

Peinado, Federico; Gervás, Pablo; Díaz-Agudo, Belén (2004). "A description logic ontology for fairy tale generation". LREC Workshop on Language Resources

Conceptual combination (3,160 words) [view diff] exact match in snippet view article find links to article

PMID 20452747. Lieto, Antonio; Pozzato, Gian Luca (22 November 2019). "A description logic framework for commonsense conceptual combination integrating typicality