Sciweavers

2722 search results - page 225 / 545
» Automating Language Evolution
Sort
View
DLOG
2003
15 years 6 months ago
Reasoning about Nominals with FaCT and RACER
We present a translation of looping alternating two-way automata into a comparably inexpressive description logic, which is contained in SHIQ. This enables us to perform the empti...
Jan Hladik
DLOG
1998
15 years 6 months ago
Learning Composite Concepts
This paper proposes a framework to learn concepts from di erent kinds of observations. We de ne a language to describe meta-concepts, that represent the sets of possible concepts ...
Patrick Lambrix, Pierpaolo Larocchia
DLOG
1996
15 years 6 months ago
DLMS: An Evaluation of KL-ONE in the Automobile Industry
Ford Motor Company's Direct Labor Management System (DLMS) utilizes knowledgerepresentation schemebased on the KL-ONEfamily of languages to represent the world of automobile ...
Nestor Rychtyckyj
RWEB
2010
Springer
15 years 3 months ago
Reasoning and Explanation in EL and in Expressive Description Logics
Description Logics (DLs) are the formalism underlying the standard web ontology language OWL 2. DLs have formal semantics which are the basis for powerful reasoning services. In th...
Anni-Yasmin Turhan
DLOG
2009
15 years 2 months ago
Relativizing Concept Descriptions to Comparison Classes
Context-sensitivity has been for long a subject of study in linguistics, logic and computer science. Recently the problem of representing and reasoning with contextual knowledge ha...
Szymon Klarman, Stefan Schlobach