Towards Fast Atomic Decomposition using Axiom Dependency Hypergraphs

Francisco Martin-RecuerdaFrancisco Martin-Recuerda, Dirk WaltherDirk Walther

Download

Francisco Martin-Recuerda, Dirk Walther
Towards Fast Atomic Decomposition using Axiom Dependency Hypergraphs
In Chiara Del Vescovo and Torsten Hahmann and David Pearce and Dirk Walther, eds., Proceedings of the 7th International Workshop on Modular Ontologies co-located with the 12th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2013), Corunna, Spain, September 15, 2013, volume 1081 of CEUR Workshop Proceedings, 2013. CEUR-WS.org

Details
Bibtex

Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

@inproceedings{ MRW-WOMO-13,
  author = {Francisco {Martin-Recuerda} and Dirk {Walther}},
  booktitle = {Proceedings of the 7th International Workshop on Modular Ontologies co-located with the 12th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2013), Corunna, Spain, September 15, 2013},
  editor = {Chiara Del {Vescovo} and Torsten {Hahmann} and David {Pearce} and Dirk {Walther}},
  publisher = {CEUR-WS.org},
  series = {CEUR Workshop Proceedings},
  title = {Towards Fast Atomic Decomposition using Axiom Dependency Hypergraphs},
  volume = {1081},
  year = {2013},
}