Sciweavers

2181 search results - page 67 / 437
» Ontologies and Description Logics
Sort
View
SYNTHESE
2008
92views more  SYNTHESE 2008»
15 years 6 months ago
Ontological infidelity
Abstract In ethical discourse, it is common practice to distinguish between normative commitments and descriptive commitments. Normative commitments reflect what a person ought to ...
Patrick Dieveney
DLOG
2004
15 years 7 months ago
The Instance Store: DL Reasoning with Large Numbers of Individuals
We present an application
Ian Horrocks, Lei Li, Daniele Turi, Sean Bechhofer
SEMWEB
2005
Springer
15 years 11 months ago
Ontology Learning and Reasoning - Dealing with Uncertainty and Inconsistency
Ontology Learning from text aims at generating domain ontologies from textual resources by applying natural language processing and machine learning techniques. It is inherent in t...
Peter Haase, Johanna Völker
TABLEAUX
1999
Springer
15 years 10 months ago
Applying an ALC ABox Consistency Tester to Modal Logic SAT Problems
In this paper we present the results of applying HAM-ALC, a description logic system for ALCNR, to modal logic SAT problems.
Volker Haarslev, Ralf Möller
WWW
2004
ACM
16 years 6 months ago
Converting UML to OWL ontologies
This paper presents automatic generation of the Web Ontology Language (OWL) from an UML model. The solution is based on an MDA-defined architecture for ontology development and th...
Dragan Gasevic, Dragan Djuric, Vladan Devedzic, Vi...