Sciweavers

110

Voted

DLOG
2007

91views Automated Reasoning» more DLOG 2007»

Adding ABoxes to a Description Logic with Uniqueness Constraints via Path Agreements

15 years 5 months ago

We now know that the addition of a concept constructor called a Path Functional Dependency (PFD) to the Boolean-complete description logic DLF leads to undecidability of ABox consi...

Vitaliy L. Khizder, David Toman, Grant E. Weddell

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Sciweavers