367 search results - page 11 / 74 » Hybrid Logics and Ontology Languages |
ICFP
2003
ACM
2003
ACM
A formalization of an Ordered Logical Framework in Hybrid with applications to continuation machines
14 years 8 months ago
We report on work in progress devoted to the formalization of an Ordered Logical Framework (OLF) based on a two-level architecture [8] in the Hybrid system. OLF here is a second-or...
WS
2008
ACM
13 years 8 months ago
2008
ACM
Ontologies play a crucial role in the development of the Semantic Web as a means for defining shared terms in web resources. They are formulated in web ontology languages, which a...
MEDINFO
2007
13 years 10 months ago
2007
Terminologies are increasingly based on “ontologies” developed in description logics and related languages such as the new Web Ontology Language, OWL. The use of description l...
DEBU
2002
13 years 8 months ago
2002
Ontologies are set to play a key role in the "Semantic Web", extending syntactic interoperability to semantic interoperability by providing a source of shared and precis...
IEAAIE
2005
Springer
14 years 2 months ago
2005
Springer
We propose an approach to Natural Language Processing exploiting knowledge domain in an e-commerce scenario. Based on such modeling an NLP parser is presented, aimed at translating...