Search results

Create the page "Description logics" on this wiki! See also the search results found.

• DL-Learner
  ...m selected objects. It extends Inductive Logic Programming to Descriptions Logics and the Semantic Web. The goal of DL-Learner is to provide a DL/OWL based m
  898 bytes (117 words) - 19:16, 20 September 2009
• HermiT
  [[Category:Description logics]] ...rem prover for [http://en.wikipedia.org/wiki/Description_logic description logics] (DLs) -- a family of knowledge representation formalisms with many uses. D
  889 bytes (124 words) - 11:52, 26 September 2008
• ASPOCP 2008
  currently are the integration of ASP with description logics (in the
  5 KB (645 words) - 23:04, 14 October 2008
• FLOW 2008
  formalizing knowledge using two-valued logics like Description Logics * Web Service Description, Discovery, Composition
  5 KB (696 words) - 18:29, 8 November 2008
• LPAR 2008
  - Modal and temporal logics - Description logics
  5 KB (799 words) - 21:49, 26 February 2020
• KR 2008
  Exception tolerant and inconsistency-tolerant reasoning, Paraconsistent logics Nonmonotonic logics, Default Logics, Conditional logics, Argumentation
  3 KB (430 words) - 16:44, 4 November 2016
• TWOMDE 2008
  validation of models using ontologies; application of Description Logics semantics of Description Logics semantics of and MOF-based models.
  8 KB (994 words) - 23:09, 14 October 2008
• ALPSWS 2008
  on the Web have typically focused on Description Logic (e.g., OWL DL) * Combinations of Logic Programming and Description Logics
  6 KB (865 words) - 23:13, 14 October 2008
• LICS 2008
  ...al intelligence, logics of programs, logic programming, modal and temporal logics, model checking, probabilistic systems, process calculi, programming langua
  2 KB (285 words) - 15:11, 7 November 2016
• ASWC 2008
  * Rule Languages, Logics and Scalable Reasoning on the Semantic Web (description, discovery, invocation, composition, choreography)
  4 KB (573 words) - 23:31, 14 October 2008
• ESWC 2008
  Logics for the Semantic Web Semantic Web Services (description, discovery, invocation, composition, choreography, etc.)
  2 KB (266 words) - 11:46, 28 May 2016
• LICS 2020
  * categorical models and logics * description logics
  5 KB (656 words) - 11:29, 27 August 2020
• WORM 2008
  * researchers in description logics, information extraction and integration, automated reasoning who have devel * description of tools to support ontology engineering and operation such as ontology edi
  7 KB (891 words) - 23:35, 14 October 2008
• SOFSEM 2009
  * service ontologies, semantic service description * specification languages (temporal logics, semantic equivalences
  6 KB (682 words) - 10:18, 14 April 2020
• LAPL 2009
  |Title=Workshop on Logics and Agent Programming Languages == WORKSHOP ON LOGICS AND AGENT PROGRAMMING LANGUAGES ==
  4 KB (586 words) - 01:27, 19 November 2008
• DALT 2008
  * modal and epistemic logics for agent modelling * description of contracts and negotiation policies
  8 KB (840 words) - 23:38, 14 October 2008
• M4M-6
  and tools based on modal logics. Here the term "modal logics" is conceived broadly, including temporal logic, description logic,
  4 KB (535 words) - 10:05, 24 December 2008
• HyLo 2009
  those interested in description logic, feature logic, applied modal logics, temporal logic, and labelled deduction. The workshop
  4 KB (567 words) - 16:33, 27 February 2009
• ASAI 2009
  • Dr. Jie Bao (Semantic Web and Description Logics, Department of Computer Science, Rensselaer Polytechnic Institute, USA)
  6 KB (830 words) - 16:33, 27 February 2009
• SKY 2011
  ...asses and relations of a knowledge ontology, or represented by Description Logics. What is much less trivial is that this new kind of knowledge is Runnable k
  4 KB (493 words) - 18:00, 6 April 2011

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)