Sciweavers

1436 search results - page 172 / 288
» Description Logic Unplugged
Sort
View
84
Voted
DLOG
2003
14 years 11 months ago
Computing Least Common Subsumers for FLE+
Transitive roles are important for adequate representation of knowledge in a range of applications. In this paper we present a first algorithm to compute least common subsumers i...
Sebastian Brandt, Anni-Yasmin Turhan
106
Voted
DLOG
2003
14 years 11 months ago
Incremental Query Answering for Implementing Document Retrieval Services
Agent systems that search the Semantic Web are seen as killer applications for description logic (DL) inference engines. The guiding examples for the Semantic Web involve informat...
Volker Haarslev, Ralf Möller
ACL
2000
14 years 11 months ago
A Polynomial-Time Fragment of Dominance Constraints
Dominance constraints are logical descriptions of trees that are widely used in computational linguistics. Their general satisfiability problem is known to be NP-complete. Here we...
Alexander Koller, Kurt Mehlhorn, Joachim Niehren
103
Voted
DLOG
2000
14 years 11 months ago
Driving User Interfaces from FaCT
We describe a mechanism that can be used to drive interfaces from a description logic (DL) model of the domain. A simple layer with limited expressivity sits on top of the DL, wit...
Sean Bechhofer, Ian Horrocks
77
Voted
ACL
1989
14 years 11 months ago
A Hybrid Approach to Representation in the Janus Natural Language Processor
In BBN's natural language understanding and generation system (Janus), we have used a hybrid approach to representation, employing an intensional logic for the representation...
Ralph M. Weischedel