Sciweavers

2181 search results - page 189 / 437
» Ontologies and Description Logics
Sort
View
RR
2009
Springer
16 years 1 months ago
A Reasoner for Simple Conceptual Logic Programs
Open Answer Set Programming (OASP) can be seen as a framework to represent tightly integrated combined knowledge bases of ontologies and rules that are not necessarily DL-safe. The...
Stijn Heymans, Cristina Feier, Thomas Eiter
STACS
2009
Springer
16 years 1 months ago
Weak MSO with the Unbounding Quantifier
Abstract. A new class of languages of infinite words is introduced, called the maxregular languages, extending the class of ω-regular languages. The class has two equivalent desc...
Mikolaj Bojanczyk
CSL
2004
Springer
15 years 6 months ago
A Bounding Quantifier
Abstract. A new class of languages of infinite words is introduced, called the maxregular languages, extending the class of -regular languages. The class has two equivalent descrip...
Mikolaj Bojanczyk
SEMWIKI
2008
168views Data Mining» more  SEMWIKI 2008»
15 years 8 months ago
AceWiki: Collaborative Ontology Management in Controlled Natural Language
AceWiki is a prototype that shows how a semantic wiki using controlled natural language -- Attempto Controlled English (ACE) in our case -- can make ontology management easy for ev...
Tobias Kuhn
VLDB
1990
ACM
69views Database» more  VLDB 1990»
15 years 10 months ago
Concept Description Language for Statistical Data Modeling
In this paper we describe a new language for statistical data modelling, which offers a general framework for the representation of elementary and summarydata.Thereare threemain c...
Tiziana Catarci, Giovanna D'Angiolini, Maurizio Le...